Annabelle McIver | Akateeminen Kirjakauppa

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

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Annabelle McIver; Charles Carroll Morgan
Springer-Verlag New York Inc. (2004)
Kovakantinen kirja

129,90 €

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Annabelle McIver; Charles Carroll Morgan
Springer (2010)
Pehmeäkantinen kirja

129,90 €

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Annabelle McIver; Charles C. Morgan
SPRINGER VERLAG GMBH (2009)
Kovakantinen kirja

66,10 €

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

Annabelle McIver; Andras Horvath
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

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

Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

49,60 €

THE SCIENCE OF QUANTITATIVE INFORMATION FLOW

Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith
Springer International Publishing AG (2020)
Kovakantinen kirja

59,30 €

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

Maurice H. ter Beek; Annabelle McIver; José N. Oliveira
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

129,90 €

Springer-Verlag New York Inc.
Sivumäärä: 388 sivua
Asu: Kovakantinen kirja
Painos: 2005
Julkaisuvuosi: 2004, 19.11.2004 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science

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 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus