wyszukanych pozycji: 3
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
ISBN: 9783540423454 / Angielski / Miękka / 2001 / 522 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification,...
This volume constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France ...
|
|
cena:
386,41 zł |
Compiling Esterel
ISBN: 9781441943552 / Angielski / Miękka / 2010 / 336 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it. Researchers as well as advanced developers will find this book essential for understanding Esterel at all levels.
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspect... |
|
cena:
579,64 zł |
Compiling Esterel
ISBN: 9780387706269 / Angielski / Twarda / 2007 / 336 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it. Researchers as well as advanced developers will find this book essential for understanding Esterel at all levels.
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspect... |
|
cena:
579,64 zł |