^^PAGEHEADLINE ^^
-
-0 %
Languages: From Formal to Natural
Springer Verlag GmbH 12.05.2009 - 2009Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthda...
Unser bisheriger Preis:ORGPRICE: 98,12 €
Jetzt 52,49 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
25 Years of Model Checking
Springer Verlag GmbH 17.06.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenModel checking technology is among the foremost applications of logic to computer science and com...
-
Computer Aided Verification
Springer Verlag GmbH 04.06.1997 - 1997Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the strictly refereed proceedings of the 9th International Conference on Co...
- 1