Filters
- Springer
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A A Balkema Publishers
- A K Peters
- A&c Black 3pl
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- ABRAMS
- 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
- Afolabi Onadipe
- African Minds
- 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
- 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 Financial Press
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- AVEdition
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- BSAVA
- Springer
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A K PETERS
- A K Peters/CRC Press
- A&c Black 3pl
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- ABRAMS
- 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
- Afolabi Onadipe
- African Minds
- 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
- Andesite Press
- 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
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- AVEdition
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford
- 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
- 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
- A. T. Fomenko
- Aamir Al-Mosawi
- Abdel Hernández San Juan
- Abel Stevens
- Abraham Dague
- Adil Barra
- Aimé M. Mbobi
- Ajay Kumar
- Ajay Singh
- Alan Davies
- Alan E. Nelson
- Albert C. J. Luo
- Albert Fleischmann
- Alberto Carpinteri
- Aleksander Nawrat
- Alexander Bolonkin
- Alexander Gelbukh
- Alexander Walkner
- Alexandru Mihai Grumezescu
- Ali Dogramaci
- Amanda Coffey
- Anatoly Belous
- Anon
- Anonym
- Anonymous
- António Pedro Costa
- Ascent -. Center for Technical Knowledge
- Barbara Leuthe
- Brian Houghton Hodgson
- Calvin Noyes Kendall
- Cfa Institute
- Charles Alexander McMurry
- Clive L. Dym
- Collectif
- Constantine Gatsonis
- Daniel N. Cassenti
- David Hume
- Désiré Dalloz
- Dolphus Skinner
- Edilma Angel *. Eam Publishing
- Hamid R. Arabnia
- Hans-Ferdinand Linskens
- Haoran Zhang
- Harvard University Library
- Henry Edward Manning
- Hippolyte Golfin
- Hossein Hojjat
- I. Jeena Jacob
- Ignotus
- Igor Kabashkin
- International Correspondence Schools
- James Anthony Froude
- James T. Anderson
- John Greenleaf Whittier
- John Macintyre
- John Ries
- John Su
- Kanubhai K. Patel
- Khritish Swargiary
- Kohei Arai
- Leonard Barolli
- Lily B. Robinson
- M. A. Hayat
- M. Lakshmi Prasad
- Marco Bernardo
- Masaaki Kurosu
- Maurice Balme
- Michael Wand
- Mikhail Z. Zgurovsky
- Mohammad Jawaid
- National Research Council
- Olsen
- Paquisa Melo de Oliveira Pereira
- Patricia Melin
- Pradeep Kumar Mallick
- Radek Silhavy
- Raoul Von Dombrowski
- Robert Koprowski
- Rodrigo M. Cruz Cacau de Sousa
- Sabu Thomas
- Sans Auteur
- Smith
- Stefka Fidanova
- Subramanian Senthilkannan Muthu
- Team Prabhat
- The Law Library
- Tinatin Gogashvili
- Van Haren Publishing
- Vanda Leci Bueno Gautério
- Various
- Vasile Cirtoaje
- Victor R. Preedy
- Vinod Kumar Yata
- Wilfred Welday Scott
- William Chambers
- Yaxin Bi
- Zakarya Ouelaa
Products
Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Antonio Cerone
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Antonio Cerone • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis volume includes six lectures given at the ICTAC (International Colloquium on Theoreti...
View full details
