Doron A. Peled | Akateeminen Kirjakauppa

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

SOFTWARE RELIABILITY METHODS

Peled Doron A. Peled
Springer Nature B.V. (2013)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

105,90 €

MODEL CHECKING AND ARTIFICIAL INTELLIGENCE - 5TH INTERNATIONAL WORKSHOP, MOCHART 2008, PATRAS, GREECE, JULY 21, 2008, REVISED SE

Doron A. Peled; Michael Wooldridge
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

SOFTWARE RELIABILITY METHODS

Doron A. Peled
Springer-Verlag New York Inc. (2001)
Saatavuus: Tilaustuote
Kovakantinen kirja

49,60 €

FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002 : 22ND IFIP WG 6.1 INTERNATIONAL CONFERENCE HOUSTON, TEXAS,

Doron A. Peled (ed.); Moshe Y. Vardi (ed.)
Springer (2002)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - THIRD INTERNATIONAL SYMPOSIUM, ATVA 2005, TAIPEI, TAIWAN, OCTOBER 4-7, 2005

Doron A. Peled; Yih-Kuen Tsay
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

SOFTWARE RELIABILITY METHODS

Doron A. Peled
Springer (2011)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

COMPUTER AIDED VERIFICATION : 16TH INTERNATIONAL CONFERENCE, CAV 2004, BOSTON, MA, USA, JULY 13-17, 2004, PROCEEDINGS

Rajeev Alur (ed.); Doron A. Peled (ed.)
Springer (2004)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION - 9TH INTERNATIONAL CONFERENCE, VMCAI 2008, SAN FRANCISCO, USA, JANUAR

Francesco Logozzo; Doron A. Peled; Leonore D. Zuck
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

RUNTIME VERIFICATION - 9TH INTERNATIONAL WORKSHOP, RV 2009, GRENOBLE, FRANCE, JUNE 26-28, 2009, SELECTED PAPERS

Saddek Bensalem; Doron A. Peled
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

TIME FOR VERIFICATION - ESSAYS IN MEMORY OF AMIR PNUELI

Zohar Manna; Doron A. Peled
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

88,20 €

THE SPIN VERIFICATION SYSTEM

Jean-Charles Gregoire; etc.; Gerald Holzmann; Doron A. Peled
American Mathematical Society (1997)
Saatavuus: Tilaustuote
Kovakantinen kirja

73,50 €

Hae lisää...

Software Reliability Methods

Peled Doron A. Peled

105,90 €

Springer Nature B.V.
Sivumäärä: 358 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2013, 06.04.2013 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus