Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Abstraction, Refinement and Proof for Probabilistic Systems

Lingua IngleseInglese
Libro In brossura
Libro Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Codice Libristo: 05256930
Casa editrice Springer-Verlag New York Inc., febbraio 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 320 b
130.79 €
Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Libro In brossura
common.buy 29.79 €
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Libro In brossura
common.buy 19.49 €
The Head & the Load William Kentridge / Libro Rigido
common.buy 57.19 €
Ninnoli Gerolamo Rovetta / Libro In brossura
common.buy 11.59 €
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Libro In brossura
common.buy 5.99 €
Der Shakespeare-Dieb Gary Blackwood / Libro In brossura
common.buy 8.19 €
Arménie – Rother Michael Wellhausen / Libro In brossura
common.buy 12.69 €
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Libro Libro
common.buy 45.60 €

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.§

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Abstraction, Refinement and Proof for Probabilistic Systems
Autore Annabelle McIver, Charles Carroll Morgan
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 388
EAN 9781441923127
ISBN 1441923128
Codice Libristo 05256930
Casa editrice Springer-Verlag New York Inc.
Peso 617
Dimensioni 155 x 235 x 235

Categorie

Matematica e Scienze > Matematica > Matematica applicata > Stocastica
Matematica e Scienze > Matematica > Probabilità e statistica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Macromolecular Crystallography Maria Armenia Carrondo / Libro Rigido
common.buy 152.59 €
In preparazione
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Libro In brossura
common.buy 8.79 €
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Libro Rigido
common.buy 26.39 €
Toxic Travel Guide Frankie McNamara / Libro Rigido
common.buy 14.49 €
It Starts with YOU! LASHAI BEN SALMI / Libro In brossura
common.buy 14.19 €
How to Make Huge Cash with Section 8 Rentals the Landlord Handbook How to Be a Great Landlord & How Small Investors Can Get Started in Commercial Prop Ernie Braveboy / Libro In brossura
common.buy 15.39 €
Pathways to Bliss Joseph Campbell / Libro In brossura
common.buy 29.89 €
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Libro Rigido
common.buy 140.69 €
iQuit Vincent Yanez / Libro In brossura
common.buy 9.39 €
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Libro In brossura
common.buy 19.99 €
Comparing Super-Diversity Fran Meissner / Libro In brossura
common.buy 61.79 €
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Libro Rigido
common.buy 101.79 €
If Pressed Andrew McEwan / Libro In brossura
common.buy 17.39 €
Love in a Cold Climate Nancy Mitford / Libro In brossura
common.buy 10.29 €
Vitamix Cookbook Jodi Berg / Libro Rigido
common.buy 21.49 €
Transmedia Archaeology Carlos Scolari / Libro Rigido
common.buy 58.69 €
Mandoa, Mandoa! Winifred Holtby / Libro In brossura
common.buy 20.09 €
New Culture of Desire Melinda Davis / Libro In brossura
common.buy 17.09 €
Designing Gestural Interfaces Dan Saffer / Libro In brossura
common.buy 52.79 €
Introduction to Protein Structure Prediction Huzefa Rangwala / Libro Rigido
common.buy 138.59 €
Earthcare David Clowney / Libro Rigido
common.buy 150.89 €
Encountering the Past in Nature Timo Myllyntaus / Libro In brossura
common.buy 22.99 €
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Libro In brossura
common.buy 22.59 €
Archaeology of Ancient Mexico and Central America David L. Webster / Libro Rigido
common.buy 359.29 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?