Tools and Algorithms for the Construction and Analysis of Systems
Javier Esparza, Rupak Majumdar
Häftad, 2010
559 kr
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
AvRupak Majumdar,Javier Esparza
E-bok
PDF, Engelska, 2010734 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
Del 9333
Del 10427
Del 12129
Del 10426
Principles of Systems Design
Rupak Majumdar, Laurent Doyen, Krishnendu Chatterjee, Jean-Francois Raskin
E-bok
20221 296 kr