Das Buch ist derzeit nicht auf Lager

Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit

Autoren

Robert Laurence Baber

Parameter

ISBN: 9783110147643
Verlag: de Gruyter

Kategorien

Deine Änderungsvorschläge

Buchvariante

1995

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.