Finde das Produkt,
das wirklich zu dir passt.

Name: Interactive Theorem Proving and Program Development
Brand: Springer Berlin Heidelberg
SKU: 10728369

Produkte, Preise, Versand und Händler in einer klaren Suche.

● freigeschaltete Partnerprogramme● Versand und Kosten sichtbar● Bewertungen nur mit Herkunft

AKTUELLE PARTNERANGEBOTE

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development. Yves Bertot/ Pierre Castéran. eBook (PDF). ebook

1 Angebote · ab 90,99 € gemeldete Gesamtkosten