Das Buch ist derzeit nicht auf Lager

Automated theorem proving in software engineering

Autoren

Johann M. Ph. Schumann

Parameter

Kategorien

Informatik & Programmierung

Buchkauf

Automated theorem proving in software engineering, Johann M. Ph. Schumann

Sprache
Erscheinungsdatum: 2001

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge