- 5 resultaten
laagste prijs: € 32,88, hoogste prijs: € 215,49, gemiddelde prijs: € 152,95
1
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver|Charles Carroll Morgan
bestellen
bij AbeBooks.de
€ 163,82
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Annabelle McIver|Charles Carroll Morgan:

Abstraction, Refinement and Proof for Probabilistic Systems - gebonden uitgave, pocketboek

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… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
dichtslaan (X)
2
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
bestellen
bij Amazon.de (Intern. Bücher)
€ 32,88
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link

McIver, Annabelle, Morgan, Charles Carroll:

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebonden uitgave, pocketboek

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… Meer...

Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DISCOUNTED COLLEGE MANUALS
dichtslaan (X)
3
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters
bestellen
bij Indigo.ca
C$ 305,95
(ongeveer € 215,49)
bestellen
Details en verzending
Gesponsorde link
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters - nieuw boek

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… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
4
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver Charles Carroll Morgan
bestellen
bij booklooker.de
€ 159,95
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Annabelle McIver Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - eerste uitgave

2004, ISBN: 9780387401157

gebonden uitgave

[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 … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
dichtslaan (X)
5
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
bestellen
bij lehmanns.de
€ 192,59
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - gebonden uitgave, pocketboek

2004, ISBN: 9780387401157

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

Verzendingskosten:Lieferbar. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
auteur:
Titel:
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 research in the area of 'quantitative' program logics.

Gedetalleerde informatie over het boek. - Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Gebonden uitgave
Verschijningsjaar: 2005
Uitgever: Springer
388 Bladzijden
Gewicht: 0,750 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-06-03T10:42:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-03-29T16:51:17+02:00 (Amsterdam)
ISBN/EAN: 9780387401157

ISBN - alternatieve schrijfwijzen:
0-387-40115-6, 978-0-387-40115-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: morgan charles, caroll, mciver, clifford backman
Titel van het boek: abstraction refinement proof probalbilistic system, der computer, annabelle

< naar Archief...