Principles and Practice of Constraint Programming - Cp 2004
Mark Wallace
₹4,738
Automatic Verification of Sequential Infinite-state Processes
1354
by Olaf Burkart
Springer Nature · 1997
₹5,103
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer Nature in 1997, Automatic Verification of Sequential Infinite-state Processes: 1354 by Olaf Burkart runs to 163 pages.
Topics covered include Branch and bound algorithms, Computer software, Infinite Processes and Software engineering.
Book details
- ISBN-13
- 9783540639824
- ISBN-10
- 3540639829
- Author
- Olaf Burkart
- Publisher
- Springer Nature
- Published
- 1997
- Pages
- 163
- Language
- English
- Condition
- New
- Subject
- Computer programming
More in Computer programming
Inductive Logic Programming
James Cussens, Alan Frisch
₹5,510
Starting Out with Programming Logic and Design
Tony Gaddis
₹10,154
Arduino Programming with .NET and Sketch
Agus Kurniawan
₹1,945
Programming in Lua, fourth edition 4th
Roberto Ierusalimschy
₹2,665
A Little Smalltalk
Timothy Budd
₹2,947
Programming in Modula-2
Niklaus Wirth
₹2,890
Empirical Software Engineering Issues
Victor Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl
₹3,391
Students' Guide to Program Design
Lesley Anne Robertson
₹5,874
Microcontroller Programming
Julio Sanchez, Maria P. Canton
₹4,675
Subrecursive Programming Systems
James S. Royer, John Case
₹7,753
The Design of Well-Structured and Correct Programs
Suad Alagic, Michael A. Arbib
₹2,968