Filters
- Springer
- 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 Mathematical Society
- 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
- 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 Financial Press
- 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
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford Books
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- Berghahn Books
- Bergin & Garvey
- Bernan Press
- Besonen Horror
- Bibliogov
- BiblioLife
- 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 Mathematical Society
- 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
- Anson Street Press
- Anthem Press
- Aocs Publishing
- 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
- Atlantic Financial Press
- 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
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford
- Bedford Books
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg
- BSAVA
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- 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. Tyagi
- A. T. Fomenko
- Aamir Al-Mosawi
- Aaron Dutle
- Abdel Hernández San Juan
- Abel Stevens
- Aimé M. Mbobi
- Ajay Singh
- Alan Davies
- Albert C. J. Luo
- Albert Fleischmann
- Alberto Carpinteri
- Alexander Gelbukh
- Alexander Walkner
- Alexandru Mihai Grumezescu
- Amanda Coffey
- Amaresh Chakrabarti
- American School (Lansing
- Anas El Azizi El Alaoui
- Anatoly Belous
- Andrew B. Lawson
- Andrew Barron
- Anestis Antoniadis
- Anne Hakansson
- Anon
- Anonym
- Anonymous
- António Pedro Costa
- Arun Kumar Sangaiah
- Ascent -. Center for Technical Knowledge
- Asim Kumar Roy Choudhury
- Atsushi Yagi
- Bahaaeddin Alareeni
- Barbara Leuthe
- Bekir Aktas
- Bernabé Dorronsoro
- Bernard Alpha Yukwa
- Berthold-Georg Englert
- Bojidarka Ivanova
- Boris Levin
- Brian Greenhalgh
- Brian Houghton Hodgson
- C. B. Van Wie
- Calvin Noyes Kendall
- Carlo Rainieri
- Cfa Institute
- Charles Alexander McMurry
- Clive L. Dym
- Collectif
- Constantine Gatsonis
- Daniel N. Cassenti
- David Hume
- Dolphus Skinner
- Emil Abderhalden
- Hans-Ferdinand Linskens
- Haoran Zhang
- Harvard University Library
- Hippolyte Golfin
- Hossein Hojjat
- I. Jeena Jacob
- Igor Kabashkin
- International Correspondence Schools
- James Anthony Froude
- James T. Anderson
- John Greenleaf Whittier
- John Macintyre
- John Su
- Kohei Arai
- Leonard Barolli
- Lily B. Robinson
- Lucas F. M. Da Silva
- M. A. Hayat
- Marco Bernardo
- Masaaki Kurosu
- Michael Wand
- Mohammad Jawaid
- Nasa Technical Reports Server (Ntrs)
- National Research Council
- Olsen
- Osvaldo Gervasi
- Paquisa Melo de Oliveira Pereira
- Radek Silhavy
- Robert Koprowski
- Rodrigo M. Cruz Cacau de Sousa
- Sabu Thomas
- Sans Auteur
- Stefka Fidanova
- Team Prabhat
- The Law Library
- Tinatin Gogashvili
- Tiziana Margaria
- Van Haren Publishing
- Vanda Leci Bueno Gautério
- Various
- Victor R. Preedy
- Vinod Kumar Yata
- William Chambers
- Yaxin Bi
- Zakarya Ouelaa
Products
Integrated Formal Methods: 17th International Conference, Ifm 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Maurice H. Ter Beek
Paperback
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): Maurice H. Ter Beek • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal...
View full details
