Springer International Publishing AG Integrated Formal Methods (E...more
Buy at ₹10,092
Apply offers for maximum savings
Apply offers for maximum savings!
प्रोडक्ट की खासियत
Title
Integrated Formal Methods
Imprint
Springer International Publishing AG
Product Form
Paperback
Publisher
Springer International Publishing AG
Source ISBN
9783319336923
Genre
Computers
ISBN13
9783319336923
Book Category
Higher Education and Professional Books
पूरी जानकारी
फ़ीचर, जानकारी और बहुत कुछ
खास जानकारी
प्रोडक्ट की जानकारी
मैन्युफ़ैक्चरर का नाम
Show More
Book Details
Title
Integrated Formal Methods
Imprint
Springer International Publishing AG
Product Form
Paperback
Publisher
Springer International Publishing AG
Source ISBN
9783319336923
Genre
Computers
ISBN13
9783319336923
Book Category
Higher Education and Professional Books
BISAC Subject Heading
COM051230
Book Subcategory
Computing and Information Technology Books
ISBN10
9783319336923
Language
English
Dimensions
Height
235 mm
Length
155 mm
Weight
8248 gr
और देखें
This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions; program verification; probabilistic systems; concurrency; safetyand liveness; model learning; SAT and SMT solving; testing; theorem proving andconstraint satisfaction; case studies.
और देखें
सामान्य नाम
Books
मूल देश
United States
इंपोर्टर का नाम और पता
Atlantic Publishers and Distributors (P) Ltd., 7/22, Ansari Road, Darya Ganj, New Delhi - 110002 INDIA
थोड़ा इंतज़ार करें, कॉन्टेंट लोड हो रहा है