Dieses Bild ist zur Zeit nicht verfügbar.

Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit

Robert L. Baber(Autor*in)
De Gruyter (Verlag)
1. Auflage
Erschienen am 18. Juli 1995
Buch
XV, 236 Seiten
978-3-11-014764-3 (ISBN)
94,95 €inkl. 7% MwSt.
Artikel ist vergriffen; keine Neuauflage

Weitere Details