Items related to Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Softcover

 
9783319737225: Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Softcover
ISBN 10: 3319737228 ISBN 13: 9783319737225
Publisher: Springer, 2018

This specific ISBN edition is currently not available.

Synopsis

​Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2018
  • ISBN 10 3319737228
  • ISBN 13 9783319737225
  • BindingPaperback
  • LanguageEnglish
  • Number of pages560
  • EditorDillig Isil, Palsberg Jens

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319737201: Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)

Featured Edition

ISBN 10:  3319737201 ISBN 13:  9783319737201
Publisher: Springer, 2018
Softcover