Weitere details

Titel: Program Proofs
Zustand: Neu
Autor: K. Rustan M. Leino, Kaleb Leino
Produktart: Taschenbuch
EAN: 9780262546232
ISBN: 9780262546232
Verlag: MIT Press
Genre: Computing & Internet
Erscheinungsdatum: 07.03.2023
Sprache: Englisch
Herstellungsland und -region: US
Höhe: 229mm
Länge: 178mm
Title Format: Taschenbuch

Information fehlt?

Bitte kontaktieren Sie uns, wenn Details fehlen und wir werden diese solange möglich zu unserer Beschreibung hinzufügen.