Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
AvThomas A. Henzinger,Jacques Duparc
E-bok
PDF, Engelska, 20071 416 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
Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
1 554 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