Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg, Michael Huth
Häftad, 2007
1 123 kr
Tools and Algorithms for the Construction and Analysis of Systems
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
E-bok
PDF, Engelska, 20071 408 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Languages: From Formal to Natural
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
Häftad, 2009
549 kr
Model Checking, second edition
Helmut Veith, Doron Peled, Daniel Kroening, Orna Grumberg, Jr. Edmund M. Clarke
E-bok
2018948 kr
Model Checking
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Inbunden, 2018
726 kr
Languages: From Formal to Natural
Shuly Wintner, Shmuel Katz, Michael Kaminski, Orna Grumberg
E-bok
2009687 kr