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 …
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
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 …
Amazon.de (Intern... DISCOUNTED COLLEGE MANUALS Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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 …
Indigo.ca new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
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 …
booklooker.de |
2004, ISBN: 9780387401157
Buch, Hardcover, 2005 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004
lehmanns.de Costi di spedizione:Lieferbar. (EUR 0.00) Details... |
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 …
McIver, Annabelle, Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - copertina rigida, flessible2004, 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 …
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 …
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 …
2004, ISBN: 9780387401157
Buch, Hardcover, 2005 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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 (Zurich)
Pagina di dettaglio ultima modifica in 2023-03-29T16:51:17+02:00 (Zurich)
ISBN/EAN: 9780387401157
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9781441923127 Abstraction Refinement and Proof for Probabilistic Systems by Annabelle Mciver Paperback | Indigo Chapters (Annabelle McIver; Charles Carroll Morgan)
- 9781441923127 Abstraction Refinement and Proof for Probabilistic Systems by Annabelle Mciver Paperback | Indigo Chapters (Annabelle McIver; Charles Carroll Morgan)
- 9780387516097 Abstraction, Refinement and Proof for Probabilistic Systems (McIver, Annabelle / Morgan, Charles C.)
- 9780387270067 Abstraction, Refinement and Proof for Probabilistic Systems (Annabelle McIver; Charles Carroll Morgan)
< Per archiviare...