Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

Lingua

Inglese

Libro Rigido

Libro Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver

Codice Libristo: 05247820

Casa editrice Springer-Verlag New York Inc., novembre 2004

Illustrates by example the typical steps necessary in computer science to build a mathematical model...

Codice Libristo: 05247820

?

points

368 b

150.19 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Obrázková angličtina 4 oblečení Petr Kupka

/

Libro

0.89 €

Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14

/

Libro

23.79 €

RUSSLAND Katharina Füllenbach

/

In brossura

15.09 €

Zločin i kazna, dječji Fjodor Mihajlović Dostojevski

/

In brossura

10.39 €

ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde

/

In brossura

24.19 €

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

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, Carroll Morgan

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 2004

Numero di pagine 388

EAN 9780387401157

ISBN 0387401156

Codice Libristo 05247820

Casa editrice Springer-Verlag New York Inc.

Peso 1650

Dimensioni 155 x 235 x 25

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

A Fiery Friendship Lisa Fiedler

/

Rigido

17.39 €

Healing for the Millions Serge King

/

In brossura

13.19 €

Passion Barbara De Angelis

/

In brossura

11.29 €

Company Directors' Responsibilities to Creditors Andrew Keay

/

In brossura

79.59 €

Wizard of Oz and Who He Was L. F. Baum

/

In brossura

14.99 €

Rickham's Neonatal Surgery Paul D. Losty

/

Rigido

229.69 €

Geoinformatics for Intelligent Transportation Igor Ivan

/

Rigido

101.79 €

Frost Thomas Bernhard

/

In brossura

14.69 €

Urban Theory John Rennie Short

/

In brossura

54.09 €

Who was St Patrick? E.A. Thompson

/

In brossura

22.29 €

State of the Unions Philip M. Dine

/

In brossura

15.99 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?