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. |