Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers

Brinksma, E.; W.R.Cleaveland; K.G.Larsen; T.Margaria; B. Steffen (eds.)

Editore: Springer, c.1995, 1995
Condizione: Usato - Molto buono Brossura

Venduto da Harry Alter, Sylva, NC, U.S.A.

Venditore AbeBooks dal 13 settembre 1998

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo: EUR 17,67 Convertire valuta
EUR 3,39 per la spedizione in U.S.A. Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungere al carrello