Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
AvChristoph M. Kirsch,Thomas A. Henzinger
E-bok
PDF, Engelska, 2003734 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
Formal Modeling and Analysis of Timed Systems
Krishnendu Chatterjee, Thomas A. Henzinger
Häftad, 2010
559 kr
Mathematical and Engineering Methods in Computer Science
David Antos, Tomas Vojnar, Jaroslav Nesetril, Thomas A. Henzinger, Antonin Kucera
E-bok
2013734 kr
Mathematical and Engineering Methods in Computer Science
Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos
Häftad, 2013
559 kr
Formal Modeling and Analysis of Timed Systems
Thomas A. Henzinger, Krishnendu Chatterjee
E-bok
2010734 kr
Handbook of Model Checking
Roderick Bloem, Helmut Veith, Thomas A. Henzinger, Edmund M. Clarke
E-bok
20181 899 kr