Certifying System Translations Using Higher Order Theorem Provers
342,50 kr.
308,25 kr.
Vi har ikke varen på lager. Den forventede leveringstid er 10 hverdage.
Detaljer
- ISBN13 9783832522117
- Sider 188
- Udgivet 2009
- Forlag Logos Verlag Berlin GmbH
- Format Paperback
- Udgave 1
- Sprog Engelsk