Filters
- Springer
- 5d Media Publishing
- 4 Dog Arts
- 50minutes.com
- 1499632 Ontario Inc.
- 1775 Productions
- 1st Book Library
- 7 Worlds Publishing, LLC
- 10-10-10 Publishing
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-83423-140-2
- A A Balkema Publishers
- A K Peters
- A&c Black 3pl
- A. Smith Media
- Aaron Brummet
- AB + Publications
- Abbott Press
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- ABRAMS
- AC Publishing
- Academia
- Academic
- Academic Press
- Academica Press
- Academiques
- Accepted, Inc.
- Acpil
- Acres U.S.A., Inc.
- Acsess
- Adam Gilbin
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adit & Stope
- Adler Press
- Advanced Reasoning Forum
- Advancing Native Missions
- Advantage Media Group
- Afolabi Onadipe
- Agenda Publishing
- Aj Carmichael
- ALA Editions
- ALA Neal-Schuman
- Albert Nowicki
- Alegria Magazine
- Alex Coker
- Alex Howard
- Alexandra Berrocal
- Alfred Music
- Alicia Editions
- Allegro Editions
- Alliance for Catholic Education Press
- Alpert Books
- Alreshah
- Altamira Press
- Altrim Publishers
- Am8 International
- Amacom
- Amanda Symonds
- Amazing Media Productions
- Amazing Reads
- Amazon
- Amazon Digital Services LLC - KDP Print US
- Amazon Elite Publishers
- Amber Wise
- America
- American Academic Press
- American Anthropological Association
- American Federation of Astrologers
- American Library Association
- American Medical Publishers
- American Psychological Association (APA)
- American Society of Mechanical Engineers
- AmericanGeophysicalU
- Amherst College
- Amherst Media
- Amin Nuri Abdel Wahab Habash
- Amplify Publishing
- Amplitudo Ltd
- Amsterdam Publishers
- Anaphora Literary Press
- Anastasia Chopelas, Ph.D.
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Andrew Zen
- Andrews McMeel Univ
- Ane Books
- Angell Press
- Ann B Blackstock
- ARC Manor
- ASCD
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- Springer
- 5d Media Publishing
- 4 Dog Arts
- 50minutes.com
- 1499632 Ontario Inc.
- 1775 Productions
- 1st Book Library
- 7 Worlds Publishing, LLC
- 10-10-10 Publishing
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-83423-140-2
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- A&c Black 3pl
- A. Smith Media
- Aaron Brummet
- AB + Publications
- Abbott Press
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- ABRAMS
- AC Publishing
- Acad Pr
- Academia
- Academic
- Academic Press
- Academica Press
- Academiques
- Accepted, Inc.
- Acpil
- Acres U.S.A., Inc.
- Acsess
- ACSESS
- Adam Gilbin
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adis
- Adit & Stope
- Adler Press
- Advanced Reasoning Forum
- Advancing Native Missions
- Advantage Media Group
- Afolabi Onadipe
- Agenda Publishing
- Aj Carmichael
- ALA Editions
- ALA Neal-Schuman
- Albert Nowicki
- Alegria Magazine
- Alex Coker
- Alex Howard
- Alexandra Berrocal
- Alfred Music
- Alicia Editions
- Allegro Editions
- Alliance for Catholic Education Press
- Alpert Books
- Alreshah
- Altamira Press
- Altrim Publishers
- Am8 International
- Amacom
- Amanda Symonds
- Amazing Media Productions
- Amazing Reads
- Amazon Digital Services LLC - KDP Print US
- Amazon Elite Publishers
- Amber Wise
- America
- American Academic Press
- American Anthropological Association
- American Federation of Astrologers
- American Library Association
- American Medical Publishers
- American Psychological Association (APA)
- American Society of Mechanical Engineers
- AmericanGU
- Amherst College
- Amherst Media
- Amin Nuri Abdel Wahab Habash
- Amplify Publishing
- Amplitudo Ltd
- Amsterdam Publishers
- Anaphora Literary Press
- Anastasia Chopelas, Ph.D.
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Andrew Zen
- ARC Manor
- ASCD
- ASM
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Children Books
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- 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
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- 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
- Ahmad Taher Azar
- Albert Edward Winship
- Albert Fleischmann
- Alex Franklin
- Alexander Carson
- Alexander E. Kister
- Alexander Krasnitz
- Alexei A. Kornyshev
- Ali Navid
- Ali Pourhashemi
- Alison Lawson
- Amos Russel Wells
- Anand J. Kulkarni
- Anna Comstock
- Anonymous
- Anthi Katsirikou
- Arthur Anthony Macdonell
- Arthur Tappan Pierson
- Benjamin Wills Newton
- Benno Edward Lischer
- Bharat Bhushan
- Biji T. Kurien
- Bonnie S. Brennen
- Bren Neale
- Brian Paltridge
- Bryant W. Rossiter
- Burkhard Heer
- Calvin Noyes Kendall
- Carl Gustave Frederick Franzen
- Carol Aubrey
- Catherine Cassell
- Ccps (Center for Chemical Process Safety
- Charles Alexander McMurry
- Charles Augustus Briggs
- Charles Kingsley
- Christian Constanda
- Christian Gourieroux
- Christophe Ley
- Copeland Vanness
- Cornelius T. Leondes
- Crispin Gardiner
- Cset Exam Secrets Test Prep
- D. B. a. Mehdi Khosrow-Pour
- D. Jude Hemanth
- Daniel J. Duffy
- Dario Di Maio
- Darrell W. Pepper
- David
- David E. McNabb
- David Hume
- David Rankin
- Ding-Geng Chen
- DK
- Douglas W. Hubbard
- Dov M. Gabbay
- Duc Thai Nguyen
- E. Tomkins
- Edward Joseph McNamara
- Edwin Zondervan
- Ellen E. Kenyon-Warner
- Ellen Thorneycroft Fowler
- Erica Scharrer
- Fevzi Okumus
- G. Pattenden
- George Horne
- Harvard University Library
- Helena Jin
- Henry Edward Manning
- Ioannis Hatzilygeroudis
- Isaac Watts
- James Porter
- Jean-Louis Boulanger
- Jeroen Huisman
- John N. Abelson
- Jon Lorsch
- Jr. Katzan Harry
- Kenneth J. Berry
- Kesra Nermend
- Kursad Turksen
- Lane Cooper
- Lorenzo Galluzzi
- M. A. Hayat
- Michael Griebel
- N. Balakrishnan
- N. Jayapalan
- Nicholas Tsounis
- Osborne Reynolds
- P. G. Ciarlet
- P. Michael Conn
- Pat Bazeley
- Peter Hollins
- Piotr Kielanowski
- Ram Nath Sharma
- Robert Dodsley
- Stephen M. Croucher
- Sunil Thomas
- Uwe Engel
- Vikas Mittal
- Viktor Wang
- Wilfred Welday Scott
Products
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
