SULJE VALIKKO

avaa valikko

Amir Pnueli | Booky.fi

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?



Pnueli, Amir; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 1
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,60 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
1995
Kovakantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Temporal Verification of Reactive Systems - Safety
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
129,50 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
1991
Kovakantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
The Temporal Logic of Reactive and Concurrent Systems - Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
142,20 €
Banieqbal, Behnam; Barringer, Howard; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Temporal Logic in Specification - Altrincham, UK, April 8-10, 1987, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,60 €
Wiedijk, Freek; Maler, Oded; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
129,50 €
Blikle, Andrzej; Barstow, Don; Brauer, W.; Brinch Hansen, P.; Gries, D.; Luckham, David; Moler, C.; Pnueli, Amir; Seegmuller, G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1987
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
MetaSoft Primer - Towards a Metalanguage for Applied Denotational Semantics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,60 €
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Compositionality: The Significant Difference - International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
129,50 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
2012
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
The Temporal Logic of Reactive and Concurrent Systems - Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
65,60 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
2012
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Temporal Verification of Reactive Systems - Safety
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
142,20 €


Toimitusehdot


Asiakaspalvelu


YHTEYSTIEDOT


SEURAA MEITÄ
Avainlippu

Booky.fi | Kotimainen kirjakauppasi netissä

Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!

Tietosuojaseloste

Ladataan sisältöä...