Bildquelle: amazon.de

Preisverlauf (90 Tage)

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

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

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)

Hersteller: Springer

Produktfakten auf einen Blick

Hersteller: Springer
EAN: 9780857290175
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.

Bewertungen & Erfahrungen

–

Noch keine Bewertungen

Für dieses Produkt liegen noch keine Bewertungen vor. Sei der oder die Erste!

Noch keine Erfahrungsberichte vorhanden.

Teile deine Erfahrung und hilf anderen bei der Kaufentscheidung.

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 testmonster.de und wirst zum jeweiligen Händler weitergeleitet. testmonster.de erhält ggf. eine Provision — für dich entstehen keine Mehrkosten.

Weitere Produkte von Springer

Alle Produkte →