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)

EAN: 9780857290175

Produktdaten aktualisiert am: 25.07.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 0857290177 
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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9780857290175
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum