Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science)

Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science)

by Olaf Burkart
  • List Price: $99.00
  • ISBN-10: 3540639829
  • ISBN-13: 9783540639824
  • Edition: 1st
  • Type: Paperback
  • Publisher: Springer

About The Book

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and... Read more

FINDING THE BEST PRICES

Related Books

Language Development From Theory to Practice (2nd...
  • Year: 2011
  • Edition: 2nd
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780137073474
  • ISBN: 013707347X
Charter Schools and Accountability in Public Education
  • Year: 2002
  • Edition:
  • Publisher: Brookings Institution Press
  • Type: Paperback
  • ISBN13: 9780815702672
  • ISBN: 0815702671
Cleft Palate & Craniofacial Anomalies: Effects on...
  • Year: 2007
  • Edition: 2nd
  • Publisher: Cengage Learning
  • Type: Hardcover
  • ISBN13: 9781418015473
  • ISBN: 1418015474