Soggetti all'interno della tua ricerca.
Cerca anche:
pattern microprocessor » modern microprocessor, filters microprocessor, power microprocessor
programming progress » programming process, programming progressive, programming problems
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
progress pattern » process pattern, programs pattern, progress matter
https » http
1
Copertina
Pubblicazione 2010
Sommario: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca