Search results for “[Subject: methods-general]”
Filters
- Springer Verlag
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A A Balkema Publishers
- A K Peters
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academica Press
- Academiques
- Acpil
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adlard Coles Nautical Press
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- ALA Neal-Schuman
- Alpert Books
- Altamira Press
- Amanda Symonds
- Amazing Reads
- American Anthropological Association
- American Bar Association
- American Federation of Astrologers
- American Library Association
- American Medical Publishers
- American Philosophical Society Press
- American Printing House for the Blind
- American Psychiatric Association Publishing
- American Psychiatric Publishing
- American Society of Mechanical Engineers
- American Water Works Association
- AmericanGeophysicalU
- Amherst Media
- Amplify Publishing
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Anthem Press
- Apollos
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress
- Archetypal Design
- Architeg, Inc.
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arden Shakespeare
- Arkose Press
- Art by Roslyn
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- ASM Press
- ASQ Quality Press
- Association for Supervision & Curriculum Deve
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Audubon Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Basic Books
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- Berghahn Books
- Bergin & Garvey
- Berklee Press Publications
- Bernan Press
- Besonen Horror
- BSAVA
- Springer
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A K PETERS
- A K Peters/CRC Press
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academica Press
- Academiques
- Acpil
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adlard Coles Nautical Press
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- ALA Neal-Schuman
- Alpert Books
- Altamira Press
- Amanda Symonds
- Amazing Reads
- American Anthropological Association
- American Bar Association
- American Federation of Astrologers
- American Library Association
- American Medical Publishers
- American Philosophical Society Press
- American Printing House for the Blind
- American Psychiatric Association Publishing
- American Psychiatric Publishing
- American Society of Mechanical Engineers
- American Water Works Association
- AmericanGU
- Amherst Media
- Amplify Publishing
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Anthem Press
- Apollos
- Apple Acad
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress
- Archetypal Design
- Architeg, Inc.
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arden Shakespeare
- Arkose Press
- Art by Roslyn
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- ASM Press
- Aspen Publishers
- ASQ Quality Press
- Association for Supervision & Curriculum Deve
- Atlantic
- Atlantis Press
- Atropos Press
- Audubon Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Basic Books
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg
- BSAVA
- Computer Science and Information Technology
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- 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
- Health, Physical Fitness and Yoga
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- 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
- A. A. Collyer
- A. K. Haghi
- A. K. Tyagi
- Aamir Al-Mosawi
- Abdel Hernández San Juan
- Ahmad Taher Azar
- Ajay Singh
- Akihiko Takahashi
- Albert Fleischmann
- Alberto Carpinteri
- Alexander Gelbukh
- Alexander V. Vakhrushev
- Alf H. Walle
- Alla G. Kravets
- Amitava Rakshit
- Anatoly Belous
- Andreas Tolk
- Andrew B. Lawson
- Anonym
- Anonymous
- António Pedro Costa
- Arch G. Woodside
- B.S. Dhillon
- Barbara Leuthe
- Berthold-Georg Englert
- Brian Houghton Hodgson
- Cfa Institute
- Charles S. Partridge
- Charu C. Aggarwal
- Chris Brooks
- Chris Chatfield
- Christensen
- Clive L. Dym
- Collectif
- D. R. Cox
- Dana Prescott Bartlett
- Daniel N. Cassenti
- David Hume
- David S. Epp
- Désiré Dalloz
- Dov M. Gabbay
- Edward Miller
- Edwin Zondervan
- Erik Cuevas
- Ernest Belfort Bax
- Ferenc Weisz
- Francis William Newman
- G. Pattenden
- Gavin Brookes
- George Horne
- George Ryley Scott
- George Wilson
- Hairus Abdullah
- Haja N. Kadarmideen
- Hans-Ferdinand Linskens
- Haoran Zhang
- Harvard University Library
- Harvey Starr
- Heinrich Freistühler
- Henry C. Lea
- Henry Edward Manning
- Henry Percy Horne
- Hippolyte Golfin
- Hossein Hojjat
- Hui Wang
- I. Jeena Jacob
- Ian Michael
- Ignotus
- Ivan Zelinka
- J. A. Tenreiro Machado
- J. C. Das
- James Anthony Froude
- James T. Anderson
- John Greenleaf Whittier
- Kohei Arai
- Leo M.L. Nollet
- Lucas F. M. Da Silva
- M. A. Hayat
- Mahendrakumar Madhavan
- Masaaki Kurosu
- Mikhail Z. Zgurovsky
- Nick T. Thomopoulos
- Nikos Mastorakis
- Niladri Sekhar Dash
- Radek Silhavy
- Robert Koprowski
- Robert Sullivan
- Sabu Thomas
- Sans Auteur
- Stefka Fidanova
- Team Prabhat
- The Law Library
- Uri Kirsch
- Victor R. Preedy
- Vikas Mittal
- Vinod Kumar Yata
- Wilfred Welday Scott
- Yaxin Bi
- Zakarya Ouelaa
- Zhonglin Xu
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
