Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automatic Verification Methods for Finite State Systems
Best Price (Coupon Required):
Buy Automatic Verification Methods for Finite State Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.
Reviews
Questions & Answers
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$39.99
Feeding Occupied France during World War I
$99.99
Hal Leonard - Beginning Guitar Superbook
$19.99
Tiere Medien Sinne
$49.99
Air, Water and Soil Quality Modelling for Risk and Impact Assessment
$329.99
International Macroeconomic Modelling for Policy Decisions
$39.99
US Army's Effectiveness in Reconstruction According to the Guiding Principles of Stabilization
$39.99
MULTICORE SYSTEMS ON-CHIP
$119.00
Systems Theory for Pragmatic Schooling: Toward Principles of Democratic Education
$39.99
Evolutionary Processes in the Natural History of Religion
$119.99
The Chimpanzees of Bossou and Nimba
$169.00
Behavioral Analytics in Social and Ubiquitous Environments
$54.99
Eta Carinae and the Supernova Impostors
$199.99
Virtual and Augmented Reality, Simulation and Serious Games for Education
$159.99
Schwerbehindertenrecht in der Praxis
$69.99
Data and Energy Integrated Communication Networks
$54.99
Fire, Climate Change, and Carbon Cycling in the Boreal Forest
$84.99
Managing Development in a Global Context
$54.99
Peptidomics
$299.99
Intelligent Software Methodologies, Tools and Techniques
$54.99
Variationen ber ein zahlentheoretisches Thema von Carl Friedrich Gauss
$54.99
Tennyson and the Fabrication of Englishness
$39.99
Strategisches Informationsmanagement in Groprojekten der Industrie
$39.99
Proteinase Inhibitors
$39.99
Manliness and the Boys Story Paper in Britain: A Cultural History, 18551940
$109.99
Psychisch kranke Straftter
$64.99
Leitfaden fr die erste Hilfeleistung an Bord von Seefischereifahrzeugen (einschlielich seegehenden
$59.99
Natural Dam Lake Cuejdel in the Stnioarei Mountains, Eastern Carpathians
$109.99
My Two Border Towns
$5.96
Fundamentals of Physics and Chemistry of the Atmosphere
$189.00
Behinderungsmissbrauch durch marktbeherrschende Unternehmen
$54.99
The Neuropsychology of Language
$39.99
Der ffentliche Mehrwert einer digitalen partizipativen Politikgestaltung
$84.99
Interaktives rechnergesttztes System zur Konstruktion von Werkzeugen fr die Kalt-Massivumformung
$69.99
Comparative Demography of the Syrian Diaspora: European and Middle Eastern Destinations
$159.99
Analysis of Microarray Gene Expression Data
$129.00
Computational Intelligence in Data Mining - Volume 2
$219.99
Enzymes of the Cholinesterase Family
$219.99
Algebra for Applications
$29.99
Complex Analytic Sets
$159.99
