The book is currently out of stock
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Authors
Book variant
2008, paperbackBook purchase
The book is currently out of stock.
2008, paperbackWe have over a million books in stock
2008, paperback