-
EbookSofort lieferbarThis Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthda...
-
EbookSofort lieferbar
Model checking is a technique for verifying finite state concurrent systems such as sequential ci...
-
EbookSofort lieferbar
Model checking technology is among the foremost applications of logic to computer science and com...
-
-
EbookSofort lieferbar
Model checking is a technique for verifying finite state concurrent systems such as sequential ci...
-
TaschenbuchPrint on Demand
Model checking technology is among the foremost applications of logic to computer science and ...
-
TaschenbuchPrint on Demand
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birt...
-
TaschenbuchPrint on Demand
This book constitutes the strictly refereed proceedings of the 9th International Conference on Co...
-
BuchBesorgungstitel - wird vorgemerkt
An expanded and updated edition of a comprehensive presentation of the theory and practice of mod...
- 1