REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008). Questo articolo non è disponibile.

Lingua: inglese

Editore: CAMBRIDGE UNIVERSITY PRESS, 2008

0521883334 / 9780521883337

Da: UK BOOKS STORE, London, London, Regno UnitoUK BOOKS STORE

Venditore con 5 stelle

Venditore AbeBooks dal 11 marzo 2024

Non disponibile
Rilegato

Condizione: Nuovo

EUR 170,67

Questo articolo specifico non è più disponibile.

Descrizione dell’articolo da parte del venditore

Brand New ! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

Codice articolo Cvs 9780521883337

Titolo
REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)
Autore
OLDEROG E R
Editore
CAMBRIDGE UNIVERSITY PRESS
Anno di pubblicazione
2008
Condizione
New
Rilegatura
Rilegato
Lingua
inglese
ISBN 10
0521883334
ISBN 13
9780521883337
Edizione
Edizione Internazionale

Risultati della ricerca per REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)

Ci sono altre 9 copie di questo libroVisualizza tutti i risultati