Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Amir Pnueli | Booky.fi

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



Pnueli, Amir; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Saatavuus: 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
51,10 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
1995
Kovakantinen kirja
Saatavuus: 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
100,90 €
Manna, Zohar; Pnueli, Amir
Springer
1991
Kovakantinen kirja
Saatavuus: 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
110,90 €
Banieqbal, Behnam; Barringer, Howard; Pnueli, Amir
Springer
1989
Pehmeäkantinen kirja
Saatavuus: 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
51,10 €
Wiedijk, Freek; Maler, Oded; Pnueli, Amir
Springer
2003
Pehmeäkantinen kirja
Saatavuus: 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,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer
1998
Pehmeäkantinen kirja
Saatavuus: 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,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Manna, Zohar; Pnueli, Amir
Springer
2012
Pehmeäkantinen kirja
Saatavuus: 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
51,10 €
Manna, Zohar; Pnueli, Amir
Springer-Verlag New York Inc.
2012
Pehmeäkantinen kirja
Saatavuus: 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
110,90 €