Annabelle McIver | Akateeminen Kirjakauppa

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

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Tekijä: Annabelle McIver; Charles Carroll Morgan
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Tekijä: Annabelle McIver; Charles C. Morgan
Kustantaja: SPRINGER VERLAG GMBH (2009)
Saatavuus: Ei tiedossa

EUR 64,60

QUANTITATIVE EVALUATION OF SYSTEMS - 15TH INTERNATIONAL CONFERENCE, QEST 2018, BEIJING, CHINA, SEPTEMBER 4-7, 2018, PROCEEDINGS

Tekijä: Annabelle McIver; Andras Horvath
Kustantaja: Springer International Publishing AG (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Tekijä: Annabelle McIver; Charles Carroll Morgan
Kustantaja: Springer-Verlag New York Inc. (2004)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - 20TH INTERNATIONAL CONFERENCE, LPAR-20 2015, SUVA, FIJI, NOVEMBE

Tekijä: Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

THE SCIENCE OF QUANTITATIVE INFORMATION FLOW

Tekijä: Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 59,30

FORMAL METHODS – THE NEXT 30 YEARS - THIRD WORLD CONGRESS, FM 2019, PORTO, PORTUGAL, OCTOBER 7–11, 2019, PROCEEDINGS

Tekijä: Maurice H. ter Beek; Annabelle McIver; José N. Oliveira
Kustantaja: Springer Nature Switzerland AG (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

129,90 €

Springer
Sivumäärä: 388 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2010, 19.11.2010 (lisätietoa)
Kieli: Englanti

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus