Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Engelska, 2014
648 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 10889
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
561 kr
Formal Approaches to Software Testing and Runtime Verification
Burkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund
E-bok
2006734 kr