Filters
- Springer
- 6505095: Ferozsons
- 3dtech
- 99m
- 3 Pillars Publishing
- 4site Press
- 1st Book Library
- 7tao Engineering Ltd
- 12th Media Services
- 360 Total Solution Limited
- 3ichael 7ambert
- A A Balkema Publishers
- A K PETERS
- A K Peters
- Aarhus University Press
- ABC-CLIO
- ABI Enterprises Inc
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academic Press and AOCS Press
- Academic Press and Aocs Press
- Academiques
- Academy Press
- ACM
- ACM Books
- Actar
- Adatosystems, LLC
- Addison Wesley Publishing Company
- Addison-Wesley
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Adler Press
- Adlibri Verlag
- Adrian Volk
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- AI Engineering Publishing
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- Airworthyaircraft
- Ajoy Majumdar
- AKINT
- ALA Techsource
- Alan Tribble
- Aleph Book Company
- Alex Morgan
- Alexander Kenan
- Althos
- Amazing People Worldwide
- Amazon Digital Services LLC - Kdp
- Amberley Publishing
- Amebarki Informatics
- American Academic Press
- American Academic Research, USA
- American Book Group - Ra-Ma
- American Geophysical Union
- American Industrial Technologies LLC.
- American Institute of Aeronautics and Astrona
- American Romanian Academy of Arts and Science
- American Society for Quality Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Amicus Illustrated
- Ampp
- Anchor Academic Publishing
- Andesite Press
- Andreas Schwarzinger
- Ane Books
- Ankit Anurag Naik
- Annai Books
- Anova
- Anson Street Press
- Antonio Neri Echevarria
- Anyael Strongheart
- APA
- APA Books
- Apexiq Press
- Appjungle.Net LLC
- Apple Academic Press
- Apple Academic Press Inc.
- Applebee Press
- Applewood Books
- Applied Wellness Initiatives
- Apress
- Arcadia Publishing (SC)
- Arcadia Publishing Library Editions
- ArchiTangle GmbH
- Archway Publishing
- Arcler Press
- Arcturus Editions
- Arcturus Publishing
- Arcturus Publishing Ltd
- Arizona Business Alliance
- ASM International
- ASQ Quality Press
- ASTM Analysis, Simulation, Test and Measureme
- AV Akademikerverlag
- Springer
- 6505095: Ferozsons
- 3dtech
- 99m
- 3 Pillars Publishing
- 4site Press
- 1st Book Library
- 7tao Engineering Ltd
- 12th Media Services
- 360 Total Solution Limited
- 3ichael 7ambert
- A A Balkema Publishers
- A K PETERS
- A K Peters
- A K Peters/CRC Press
- Aarhus University Press
- ABC-CLIO
- ABI Enterprises Inc
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academic Press and AOCS Press
- Academic Press and Aocs Press
- Academiques
- Academy Press
- ACM
- ACM Books
- Actar
- Adatosystems, LLC
- Addison Wesley Publishing Company
- Addison-Wesley
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Adler Press
- Adlibri Verlag
- Adrian Volk
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- AI Engineering Publishing
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- Airworthyaircraft
- Ajoy Majumdar
- AKINT
- ALA Techsource
- Alan Tribble
- Aleph Book
- Alex Morgan
- Alexander Kenan
- Althos
- Amazing People Worldwide
- Amazon Digital Services LLC - Kdp
- Amberley Publishing
- Amebarki Informatics
- American Academic Press
- American Academic Research, USA
- American Book Group - Ra-Ma
- American Geophysical Union
- American Industrial Technologies LLC.
- American Institute of Aeronautics and Astrona
- American Romanian Academy of Arts and Science
- American Society for Quality Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Amicus Illustrated
- Ampp
- Anchor Academic Publishing
- Andesite Press
- Andreas Schwarzinger
- Ane Books
- Ankit Anurag Naik
- Annai Books
- Anson Street Press
- Antonio Neri Echevarria
- Anyael Strongheart
- APA
- APA Books
- Apexiq Press
- Appjungle.Net LLC
- Apple Acad
- Apple Academic Press
- Applebee Press
- Applewood Books
- Applied Wellness Initiatives
- Apress
- Arcadia Publishing (SC)
- Arcadia Publishing Library Editions
- ArchiTangle GmbH
- Archway Publishing
- Arcler Press
- Arcturus Editions
- Arcturus Publishing
- Arcturus Publishing Ltd
- ASM International
- ASQ Quality Press
- ASTM Analysis, Simulation, Test and Measureme
- AV Akademikerverlag
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fisheries & Aquaculture
- Food Science & Technology
- General Books
- Graphic Design & Animation
- 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
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Writing/Research Methods
- Adedeji B. Badiru
- Ajith Abraham
- Albert C. J. Luo
- Alexander N. Evgrafov
- Alice Schwartz
- American Society for Engineering Educati
- American Society of Civil Engineers
- American Technical Society
- Ana Fred
- Andreas Öchsner
- Andrey A. Radionov
- Anonymous
- Artur Zaporozhets
- Association of Engineering Societies
- Association of Engineering Societies (U
- Azman Ismail
- B.S. Dhillon
- Carolina Machado
- Chandan Deep Singh
- Charles Nehme
- Charles Proteus Steinmetz
- Christian Constanda
- Cornell University Association of Civil
- Corwin Halesworth
- Danny Munrow
- Department of Army U. S. Army Corps of E
- Department of Defense United States of
- Design Council
- Don Harris
- Emas Oyaks
- Engineers Club of Philadelphia
- Engineers' Club of Philadelphia
- Erik Hollnagel
- Francis J. Hopcroft
- Frank R. Spellman
- Great Britain Army Royal Engineers
- Great Britain Corps of Royal Engineers
- H. S. Saini
- Howard Eisner
- Information Reso Management Association
- Institution of Civil Engineers (Great Br
- Institution of Mechanical Engineers (Gre
- International Correspondence Schools
- International Textbook Company
- J. Paul Guyer
- J. Paulo Davim
- James J. Park
- James Relington
- Jan Awrejcewicz
- Jiuping Xu
- Juan Carlos Figueroa-García
- Julius Ludwig Weisbach
- K. D. Timmerhaus
- Kaushik Kumar
- Kingsty Phillips
- Konrad Reif
- Lawrence K. Wang
- Mangey Ram
- Manoj Dole
- Megh R. Goyal
- Michael E. Auer
- Michigan Engineering Society
- Mike Tooley
- Mohammed Hamed Ahmed Soliman
- Montana Board of Professional Engine
- Myer Kutz
- Nasa Technical Reports Server (Ntrs)
- National Academies of Sciences Engineeri
- National Learning Corporation
- Passbooks
- Ps Publishing
- Qilian Liang
- Qingxin Yang
- Radek Silhavy
- Reza N. Jazar
- Robert Henry Thurston
- Roger Lee
- Rolf Isermann
- Ronald Laffey
- Samuel Smiles
- Sanjay Kumar Shukla
- Scott Walbridge
- Shengzhao Long
- Shuichi Fukuda
- Sio-Iong Ao
- Solis Tech
- Steve Asikin
- The Institution of Engineering and Techn
- Tiziana Margaria
- U S Environmental Protection Agency
- United States Army Corps of Engineers
- Us Army Corps of Engineers
- Wai-Fah Chen
- William E. Clark
- William S. Chao
- Wolfgang E. Nagel
- Xia-Ting Feng
- Yingmin Jia
- Yuhua Luo
- Zhengbing Hu
Products
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
Tiziana Margaria
Paperback
Current price
₹4,803
Original price
₹7,388
Original price
₹7,388
Original price
₹7,388
(-35%)
₹4,803
Current price
₹4,803
| /
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Internationa...
View full details
