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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Constructive Analysis and Synthesis of Programs

Lingua IngleseInglese
Libro Rigido
Libro Constructive Analysis and Synthesis of Programs Marco Benini
Codice Libristo: 08576148
Casa editrice Lulu.com, ottobre 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Descrizione completa
? points 78 b
31.69 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Blue Skies T. C. Boyle / Libro In brossura
common.buy 14.19 €
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Libro In brossura
common.buy 33.59 €
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Libro In brossura
common.buy 23.39 €
Fondamenti di informatica Yogesh Kumar Sharma / Libro In brossura
common.buy 69.79 €
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Libro Rigido
common.buy 15.09 €
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Libro Rigido
common.buy 37.19 €
Milli Tarihin Insasi / Libro In brossura
common.buy 17.79 €
Desafios em projetos Daiane Freire Benites / Libro In brossura
common.buy 33.59 €
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Libro In brossura
common.buy 20.09 €
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Libro Rigido
common.buy 90.49 €
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Libro In brossura
common.buy 31.29 €
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Libro Rigido
common.buy 15.99 €
Lord Byron Alfred Schirokauer / Libro In brossura
common.buy 23.29 €

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.

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 Constructive Analysis and Synthesis of Programs
Autore Marco Benini
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2009
Numero di pagine 140
EAN 9781445206387
ISBN 9781445206387
Codice Libristo 08576148
Casa editrice Lulu.com
Peso 379
Dimensioni 152 x 229 x 11

Categorie

Matematica e Scienze > Scienza: argomenti di interesse generale
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

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Libro In brossura
common.buy 27.89 €
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Libro In brossura
common.buy 53.89 €
Be with Me Mike Chernuk / Libro In brossura
common.buy 13.69 €
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Libro In brossura
common.buy 28.89 €
More Hypnotic Scripts That Work John Cerbone / Libro In brossura
common.buy 62.89 €
Starfish Girl Athena Villaverde / Libro In brossura
common.buy 17.19 €
The Princess in Black and the Kitty Catastrophe Shannon Hale / Libro In brossura
common.buy 6.59 €
Communicatie Bij Hersenletsel E Witteveen / Libro Rigido
common.buy 50.29 €
American Journal of Physiology, Volume 47 American Physiological Society / Libro Rigido
common.buy 42.59 €
Foxe's Book of Martyrs John Foxe / Libro In brossura
common.buy 25.19 €
Foreign Missions Rufus Anderson / Libro Rigido
common.buy 37.69 €
Young Robin Hood George Manville Fenn / Libro In brossura
common.buy 13.49 €
Spinosaurus Ben Garrod / Libro In brossura
common.buy 9.19 €
Late Hector Kipling David Thewlis / Libro In brossura
common.buy 19.59 €
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Libro Rigido
common.buy 43.59 €
Inward Yung Pueblo / Audiolibro MP3
common.buy 15.79 €
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Libro Libro
common.buy 30.69 €
Monochrome Craig G. Staff / Libro Rigido
common.buy 173.89 €
Foreign Direct Investment Daniel Nicholls / Libro Rigido
common.buy 100.09 €
Remythologizing Theology Kevin J. Vanhoozer / Libro In brossura
common.buy 73.99 €
Design for Six Sigma Kai Yang / Libro Rigido
common.buy 143.59 €
Love Won't Let Me Be Silent Terry Angel Mason / Libro Rigido
common.buy 22.69 €
Blogging for Writers Robin Houghton / Libro In brossura
common.buy 32.09 €
X Marks the Spot Russell K. Skowronek / Libro In brossura
common.buy 22.79 €

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?