Filters
- Springer
- Springer Verlag
- 17 Books Publishing
- 5d Media Publishing
- 3dtotal Publishing
- 3DTotal Publishing Ltd
- 6 Figure Press
- 5m Publishing
- 50minuten.de
- 50minutes.com
- 3 Pillars Publishing
- 83 Press
- 8404 Publishing, LLC
- 1st Book Library
- 5starcooks
- 120 Ways Publishing
- 7-Week Italian
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-7392166-0-3
- 978-1-7753503-0-9
- A A Balkema Publishers
- A K Peters
- A K PETERS
- A R M A International
- A&c Black Business Information and Developmen
- Aaron Crenshav
- AB + Publications
- ABA Espana
- Abbey Landry
- Abbott Press
- Abbott Properties
- ABC Limited Press
- ABC Seams Pty. Ltd.
- ABC-CLIO
- Abhishek Sharma
- Abingdon Press
- Ablex Publishing Corporation
- Abounding Lifestyle
- ABRAMS
- Abrams Comicarts
- Abrams Press
- Abrazol Publishing
- AC Publishing
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Acc Art Books
- Accelerated Development
- Accounting Tools
- Accountingtools, Inc.
- Acm3 Publishing
- Acpil
- Acres U.S.A., Inc.
- Acsess
- Actar
- Acupuncture Diagnostic Methods & Point Select
- Ad Hoc Press
- Adaline Hartwell
- Adams Media Corporation
- Adapt2value Bv
- Addicted2life Ltd
- Addison-Wesley Professional
- Adele Toral
- Adizes Institute
- Adlard Coles Nautical Press
- Adler Press
- Adobe Press
- Adonis & Abbey Publishers
- Adrian Fleming
- Advanced Analytics, LLC
- Advanced Communication Designs Inc
- Advanced Communication Designs, Inc
- Advanced Publishing LLC
- Advantage
- Advantage Media Group
- Afnil
- After Midnight Publishing
- Agenda Publishing
- Agilitek Corporation
- Aimee V. Sanchez, PhD
- AIP
- AISECT Publication Bhopal
- AK International Publication
- AKINT
- ALA Editions
- ALA Neal-Schuman
- Alan C Hood & Company
- Alan Sargent Consultancy Ltd
- Alan Wikinson
- AMZ Marketing Hub
- APA
- ARC Humanities Press
- ARC Manor
- ASCD
- ASM Press
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- Springer
- 17 Books Publishing
- 5d Media Publishing
- 3dtotal Publishing
- 3DTotal Publishing Ltd
- 6 Figure Press
- 5m Publishing
- 50minuten.de
- 50minutes.com
- 3 Pillars Publishing
- 83 Press
- 8404 Publishing, LLC
- 1st Book Library
- 5starcooks
- 120 Ways Publishing
- 7-Week Italian
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-7392166-0-3
- 978-1-7753503-0-9
- A K PETERS
- A K Peters/CRC Press
- A R M A International
- A&c Black Business Information and Developmen
- Aaron Crenshav
- AB + Publications
- ABA Espana
- Abbey Landry
- Abbott Press
- Abbott Properties
- ABC Limited Press
- ABC Seams Pty. Ltd.
- ABC-CLIO
- Abhishek Sharma
- Abingdon Press
- Ablex Publishing Corporation
- Abounding Lifestyle
- ABRAMS
- Abrams Comicarts
- Abrams Press
- Abrazol Publishing
- AC Publishing
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Acc Art Books
- Accelerated Development
- Accounting Tools
- Accountingtools, Inc.
- Acm3 Publishing
- Acpil
- Acres U.S.A., Inc.
- Acsess
- ACSESS
- Actar
- Acupuncture Diagnostic Methods & Point Select
- Ad Hoc Press
- Adaline Hartwell
- Adams Media Corporation
- Adapt2value Bv
- Addicted2life Ltd
- Addison-Wesley Professional
- Adele Toral
- Adis
- Adizes Institute
- Adlard Coles Nautical Press
- Adler Press
- Adobe Press
- Adonis & Abbey Publishers
- Adrian Fleming
- Advanced Analytics, LLC
- Advanced Communication Designs Inc
- Advanced Communication Designs, Inc
- Advanced Publishing LLC
- Advantage
- Advantage Media Group
- Afnil
- After Midnight Publishing
- Agenda Publishing
- Agilitek Corporation
- AIP
- AISECT Publication Bhopal
- AK International Publication
- AKINT
- ALA Editions
- ALA Neal-Schuman
- AMZ Marketing Hub
- AOCS
- APA
- ARC Humanities Press
- ARC Manor
- ASCD
- ASM
- ASM Press
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- AVA
- Computer Science and Information Technology
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Children Books
- Communication, Mass Media and Journalism
- Cookery & Food Services
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- Gardening
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- Hindi Literature
- History
- Law and Criminology
- Library & Information Science
- Magic & Alchemy
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Pets
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- Writing/Research Methods
- 50minutes
- A. K. Haghi
- A. K. Tyagi
- A. Nazari
- Aamir Al-Mosawi
- Agency for Healthcare Resea And Quality
- Alan A. Boulton
- Albert Fleischmann
- Alexander E. Kalyuzhny
- Alfred Henry Allen
- Alice Schwartz
- Andrew Barron
- Anna Lena Bischoff
- Anon
- Anonym
- Anonymous
- Arun K. Shukla
- Ashutosh Kumar Shukla
- Avraham Rasooly
- B.S. Dhillon
- Baby Professor
- Benno Edward Lischer
- Bertil Gustafsson
- Bharat Bhushan
- Biji T. Kurien
- Chaohong Liu
- Charles Nehme
- Christian Constanda
- Collectif
- Constantin Zopounidis
- D Federal Highway Administration (Fhwa)
- Dario Di Maio
- David Hume
- Dawson Church
- Dick DeBartolo
- Donald Armstrong
- Federal Highway Administration (Fhwa)
- Gerda Wagner
- Halbert Powers Gillette
- Harvey W. Wiley
- Helen Kara
- Iconcept Press
- Ioannis Hatzilygeroudis
- J. Paul Guyer
- James G. Speight
- Jcm-Nystce Test Preparation Group
- Jerome Cameron Goodwin
- John Lok
- John Stuart Mill
- John Su
- Johnny L. Matson
- Jovan Hutton Pulitzer
- Jr. Katzan Harry
- K.R. Gupta
- Kesra Nermend
- Kursad Turksen
- Lane Cooper
- Liang Wei Hao
- Lorenzo Galluzzi
- M. A. Hayat
- Marco Bernardo
- Marco Corazza
- Margarita N. Favorskaya
- Mary de Chesnay
- Maurice H. Ter Beek
- Megh R. Goyal
- Michael Butler
- Ming-Tzer Lin
- Nasa Technical Reports Server (Ntrs)
- National Institute of Justice (Nij)
- National Salesmen's Training Associatio
- National Salesmen's Training Association
- Nicholas Tsounis
- Oluchi Ike
- P. Michael Conn
- Passbooks
- Paul F. Kisak
- Peter Fleming
- Peter Hollins
- Piotr Kielanowski
- Project Management Institute
- Qing Yan
- Radek Silhavy
- Reactive Publishing
- Rwg
- Sage L. Roosevelt
- Sam Penny
- San Francisco State Normal School
- Sharon A. Wynne
- Simon Somerville Laurie
- Speedy Publishing LLC
- Sujaul Chowdhury
- Sunil Thomas
- Thomas Heywood
- Tiziana Margaria
- Ton J. Cleophas
- U S Environmental Protection Agency
- Uttam Garg
- Various
- Volkmar Weissig
Products
Formal Methods for Software Engineering: Languages Methods Application Domains
Markus Roggenbach
Paperback
Current price
₹4,407
Original price
₹6,779
Original price
₹6,779
Original price
₹6,779
(-35%)
₹4,407
Current price
₹4,407
| /
• Author(s): Markus Roggenbach • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Computer ScienceSoftware programs are formal entities with precise meanings independent of t...
View full details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach
Hardcover
Current price
₹5,509
Original price
₹8,474
Original price
₹8,474
Original price
₹8,474
(-35%)
₹5,509
Current price
₹5,509
| /
• Author(s): Markus Roggenbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverSoftware programs are formal entities with precise meanings independent of their programmers, so the transition from id...
View full details
