Del 4 - Advances in Formal Methods
Computer-Aided Reasoning
ACL2 Case Studies
Inbunden, Engelska, 2000
2 939 kr
Skickas inom 10-15 vardagar
Laddar lista
Som standard sorteras produkter på sökresultat- och kategorisidor efter relevans och popularitet. Du kan välja att sortera produkterna på ett flertal andra sätt.
Läs mer härSom standard sorteras produkter på sökresultat- och kategorisidor efter relevans och popularitet. Du kan välja att sortera produkterna på ett flertal andra sätt.
Läs mer härACL2 Case Studies
AvMatt Kaufmann,Panagiotis Manoliosm. fl.
2 939 kr
Skickas inom 10-15 vardagar
AvMatt Kaufmann,Panagiotis Manoliosm. fl.
2 939 kr
Skickas inom 10-15 vardagar
A Mechanically Verified Assembly-Level Language
729 kr
Skickas inom 10-15 vardagar