- 5 Risultati
prezzo più basso: € 32,88, prezzo più alto: € 215,49, prezzo medio: € 152,95
1
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver|Charles Carroll Morgan
Ordina
da AbeBooks.de
€ 163,82
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Annabelle McIver|Charles Carroll Morgan:

Abstraction, Refinement and Proof for Probabilistic Systems - copertina rigida, flessible

2004, ISBN: 0387401156

[EAN: 9780387401157], Neubuch, [PU: Springer New York], COMPUTERS - LANGUAGES PROGRAMMING COMPUTER SCIENCE GENERAL INFORMATIK EDV ALGORITHMS DATA REFINEMENT PROGRAM SEMANTICS RANDOM SEQUE… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
Chiudere (X)
2
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
Ordina
da Amazon.de (Intern. Bücher)
€ 32,88
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato

McIver, Annabelle, Morgan, Charles Carroll:

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - copertina rigida, flessible

2004, ISBN: 9780387401157

Springer, Gebundene Ausgabe, Auflage: 2005, 408 Seiten, Publiziert: 2004-11-19T00:00:01Z, Produktgruppe: Buch, 3.64 kg, Verkaufsrang: 9284, Softwareentwicklung, IT-Ausbildung & -Berufe, C… Altro …

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DISCOUNTED COLLEGE MANUALS
Chiudere (X)
3
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters
Ordina
da Indigo.ca
C$ 305,95
(indicativi € 215,49)
Ordina
Dettagli & spedizione
Link sponsorizzato
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters - nuovo libro

ISBN: 9780387401157

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 resear… Altro …

new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
4
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver Charles Carroll Morgan
Ordina
da booklooker.de
€ 159,95
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Annabelle McIver Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - Prima edizione

2004, ISBN: 9780387401157

edizione con copertina rigida

[ED: Gebunden], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monograph integrates … Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
Chiudere (X)
5
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
Ordina
da lehmanns.de
€ 192,59
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - copertina rigida, flessible

2004, ISBN: 9780387401157

Buch, Hardcover, 2005 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004

Costi di spedizione:Lieferbar. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Autore:
Titolo:
ISBN:

0387401156


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.

Informazioni dettagliate del libro - Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Copertina rigida
Anno di pubblicazione: 2005
Editore: Springer
388 Pagine
Peso: 0,750 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-06-03T10:42:20+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-03-29T16:51:17+02:00 (Rome)
ISBN/EAN: 0387401156

ISBN - Stili di scrittura alternativi:
0-387-40115-6, 978-0-387-40115-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : morgan charles, caroll, mciver, clifford backman
Titolo del libro: abstraction refinement proof probalbilistic system, der computer, annabelle

< Per archiviare...