Preisverlauf (90 Tage)

Noch keine Verlaufsdaten vorhanden Daten werden ab dem nächsten Import gesammelt

Browser-Benachrichtigung bei PreissenkungWir melden uns, sobald das Produkt wieder lieferbar ist — höchstens einmal am Tag. Ohne E-Mail, ohne Konto, jederzeit abbestellbar. Amazon-Angebote sind ausgenommen. Datenschutz

Hinweis: Amazon-Preise sind in der Preisverfolgung bzw. im Preisverlaufsgraphen nicht enthalten. Wir versenden keine Benachrichtigungen zu Produkten über Amazon.

Kundenbewertungen

Noch keine Bewertungen vorhanden.

Bücher EAN 9780857290175

Undergraduate Topics in Computer Science Rigorous Software Development - José Bacelar Almeida Maria João Frade Jorge Sousa Pinto Simão Melo de Sousa Kartoniert (TB)

Name: Undergraduate Topics in Computer Science Rigorous Software Development - José Bacelar Almeida Maria João Frade Jorge Sousa Pinto Simão Melo de Sousa Kartoniert (TB)
Brand: Springer
SKU: 9780857290175

Hersteller: Springer

Finde Undergraduate Topics in Computer Science Rigorous Software…

Produktfakten auf einen Blick zur EAN 9780857290175

Hersteller: Springer
EAN: 9780857290175
Kategorie: Bücher
Gewicht: 0.8598028218 kg

Produktbeschreibung

This text is a self-contained introduction to program verification using logic-based methods presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.

Preisvergleich

0 Angebote gefunden

Keine Angebote mit diesen Filterkriterien gefunden.

Filter zurücksetzen

* Alle Preise inkl. MwSt., ggf. zzgl. Versandkosten. Preise und Verfügbarkeit können sich seit der letzten Aktualisierung geändert haben. Beim Klick auf „Zum Angebot" oder „Zum Shop" verlässt du EAN-Shopping.de und wirst zum jeweiligen Händler weitergeleitet. EAN-Shopping.de erhält ggf. eine Provision — für dich entstehen keine Mehrkosten. Letzte Aktualisierung: –.

Weitere Produkte von Springer

Alle Produkte →