Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

Automatic Verification Methods for Finite State Systems

Limba englezăengleză
Carte Carte broșată
Carte Automatic Verification Methods for Finite State Systems Joseph Sifakis
Codul Libristo: 01565264
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri


Ar putea de asemenea, să te intereseze


Na lovu kozorožce Ondřej Kříženecký / Copertă tare
common.buy 38 lei
Láska na cizím hrobě Ludvík Němec / Copertă tare
common.buy 49 lei
Kangaroo D. H. LawrenceBruce Steele / Carte broșată
common.buy 385 lei
Mathematics Mechanization u Wen-tsun / Copertă tare
common.buy 639 lei
Good News Club Katherine Stewart / Carte broșată
common.buy 107 lei
neue Isar (Band 4) Ralf Sartori / Carte broșată
common.buy 150 lei
Cleopatra - Complete Georg Ebers / Carte broșată
common.buy 191 lei

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.

Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo