K Rustan M Leino, K. Rustan M. Leino, Kaleb Leino, Leino K. Rustan M. - Program Proofs

Scrivi la tua prima recensione!

Fr. 110.00

K Rustan M Leino, K. Rustan M. Leino, Kaleb Leino, Leino K. Rustan M.

Program Proofs

Inglese · Tascabile

Spedizione di solito entro 1 a 3 settimane (non disponibile a breve termine)

Descrizione

Ulteriori informazioni

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.

Dettagli sul prodotto

Autori K Rustan M Leino, K. Rustan M. Leino, Kaleb Leino, Leino K. Rustan M.
Editore The MIT Press
 
Lingue Inglese
Formato Tascabile
Pubblicazione 07.03.2023
 
EAN 9780262546232
ISBN 978-0-262-54623-2
Pagine 496
Dimensioni 176 mm x 229 mm x 22 mm
Categorie Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione

COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, Computer programming / software engineering, Computer Programming / Software Development

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.