Image
Key Highlights
Image
Key Highlights
Image

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Automatic Ver...
more

Buy at ₹3,343
Apply offers for maximum savings
Apply offers for maximum savings!
Product highlights
Title
Automatic Verification of Sequential Infinite-State Processes
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Product Form
Paperback
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Source ISBN
9783540639824
Genre
Computers
ISBN13
9783540639824
Book Category
Higher Education and Professional Books
Similar Products
Image
AD
Trending
4.7
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming English, Paperback, ERIC MATTHES,
17% OFF
₹1,599
₹1,326
₹1,193 with Coupon offer
Get it by
 
3 Sep
Image
AD
Distributed AI Systems English, Paperback, Wu Fuheng
60% OFF
₹3,699
₹1,488
Image
AD
System Design for the LLM Era English, Paperback, Mitra Sampriti
41% OFF
₹3,699
₹2,166
Image
AD
4.1
AI Superpowers English, Paperback, Lee Kai-Fu
12% OFF
₹4,000
₹3,519
₹3,119 with Coupon offer
Image
AD
4.3
The Mental Game of Trading English, Paperback, Tendler Jared
94% OFF
₹2,999
₹170
₹150 with Coupon offer
Get it by
 
2 Sep
Image
AD
4.3
Secrets on Fibonacci Trading - ?ecrets on fibbonacci trading English, Paperback, Miller Frank
76% OFF
₹599
₹146
₹129 with Coupon offer
Get it by
 
2 Sep
Image
AD
Data Center Handbook English, Hardcover, unknown
71% OFF
₹16,477
₹4,759
₹4,273 with Coupon offer
Hang on, loading content