
Formal Modeling and Analysis of Timed Systems
Étienne André, Mariëlle Stoelinga
₹3,923

Joint Ercim/Colognet International Workshop on Constraint Solving and
by International Workshop on Constraint Solving and Constraint (2004 Lausanne, Switzerland)
Springer Nature · 2005 · Paperback
Free delivery. Nothing extra to pay at checkout.
Published by Springer Nature in 2005, Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and by International Workshop on Constraint Solving & Switzerland) Constraint (2004 Lausanne runs to 215 pages in paperback. The book is part of the Lecture notes in computer science series.
The book deals with Congresses, Logic programming, Constraint programming (Computer science) and Resolution de contraintes.