Integrated Formal Methods Front Cover

Integrated Formal Methods

  • Length: 372 pages
  • Edition: 2012
  • Publisher:
  • Publication Date: 2012-07-05
  • ISBN-10: 3642307280
  • ISBN-13: 9783642307287
0
0 ratings
Print Book Look Inside
Description

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.

Free ChaptersTry Audible and Get Two Free Audiobooks »
To access the link, solve the captcha.
Recommended BooksMore Similar Books »
3D Character Rigging in Blender: Bring your characters to life through rigging and make them animation-ready Cover
3D Character Rigging in Blender: Bring your characters to life through rigging and make them animation-ready
2024-04-05
0
Mastering Kotlin for Android 14: Build powerful Android apps from scratch using Jetpack libraries and Jetpack Compose Cover
Mastering Kotlin for Android 14: Build powerful Android apps from scratch using Jetpack libraries and Jetpack Compose
2024-04-05
0
Large Language Model-Based Solutions: How to Deliver Value with Cost-Effective Generative AI Applications Cover
Large Language Model-Based Solutions: How to Deliver Value with Cost-Effective Generative AI Applications
2024-05-07
0
Python All-in-One For Dummies, 3rd Edition Cover
Python All-in-One For Dummies, 3rd Edition
2024-04-09
55
Modern API Design with gRPC: Efficient Solutions to Design Modern APIs with gRPC Using Golang for Scalable Distributed Systems (English Edition) Cover
Modern API Design with gRPC: Efficient Solutions to Design Modern APIs with gRPC Using Golang for Scalable Distributed Systems (English Edition)
2024-03-26
0
100 Java Mistakes and How to Avoid Them Cover
100 Java Mistakes and How to Avoid Them
2024-04-23
1
Principles of Psychological Assessment: With Applied Examples in R Cover
Principles of Psychological Assessment: With Applied Examples in R
2024-05-02
0
Python Essentials For Dummies Cover
Python Essentials For Dummies
2024-04-30
0
Subscribe
Categories
Tags