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.

Correctness-by-Construction Approach to Programming

Lingua IngleseInglese
Libro Rigido
Libro Correctness-by-Construction Approach to Programming Derrick G. Kourie
Codice Libristo: 01660456
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Sáček textil béžový 25x39cm mix / Libro binding.
common.buy 4.49 €
J'aime collegium / Libro In brossura
common.buy 12.29 €
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Libro In brossura
common.buy 35.49 €
Tetris – hra, ktorá zmenila dejiny Box Brown / Libro In brossura
common.buy 18.99 €
Kosmokluk David Walliams / Libro In brossura
common.buy 14.99 €
Supersensible Impulses P. King / Libro In brossura
common.buy 24.29 €
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Libro Rigido
common.buy 20.09 €
I migliori Economico
Good Boy - Jófiú Elle Kennedy / Libro Rigido
common.buy 7.39 €
Puedo Mirar Tu Regalo Guido van Genechten / Libro Rigido
common.buy 14.29 €
ENGLISH PRONUNCIATION AA. VV / Libro In brossura
common.buy 26.69 €
Guérir par l'énergie, la méditation et la thérapie VORGER / Libro In brossura
common.buy 11.69 €
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Libro Rigido
common.buy 38.79 €
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller / Libro Rigido
common.buy 34.19 €
Arabesky Jan Neruda / Libro Rigido
common.buy 8.49 €
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Libro In brossura
common.buy 36.59 €
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Libro In brossura
common.buy 19.59 €
111 Gründe, Atlético Madrid zu lieben André Kahle / Libro In brossura
common.buy 14.19 €
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Libro In brossura
common.buy 41.49 €
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Libro In brossura
common.buy 29.19 €
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Libro In brossura
common.buy 13.69 €
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Libro In brossura
common.buy 24.79 €

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

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 Correctness-by-Construction Approach to Programming
Autore Derrick G. Kourie, Bruce W. Watson
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2012
Numero di pagine 266
EAN 9783642279188
ISBN 364227918X
Codice Libristo 01660456
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 556
Dimensioni 165 x 235 x 26

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
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
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

Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Libro Rigido
common.buy 53.79 €
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Libro In brossura
common.buy 23.89 €
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Libro In brossura
common.buy 20.29 €
Between the Ticks of the Watch Kevin Beasley / Libro In brossura
common.buy 32.59 €
The Winter Wives MacIntyre / Libro In brossura
common.buy 12.79 €
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Libro In brossura
common.buy 10.69 €
The Government of England. Volume 2 of 2 A Lawrence Lowell / Libro In brossura
common.buy 31.79 €
Raw Food/Real World Matthew Kenney / Libro elettronico Adobe ePub DRM
common.buy 13.99 €
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Libro In brossura
common.buy 37.69 €
Egret Ranch Andrew Gaeddert / Libro In brossura
common.buy 14.19 €
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Libro Rigido
common.buy 30.79 €
Nuovi
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Libro In brossura
common.buy 24.29 €
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Libro In brossura
common.buy 30.79 €
Elizabeth Bishop Robert Giroux / Libro Rigido
common.buy 33.09 €
Your Child at Play Marilyn Segal / Libro In brossura
common.buy 24.59 €
History of Umuchu S. A. Nnolim / Libro In brossura
common.buy 17.69 €
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Libro Rigido
common.buy 111.29 €
Modern Cosmology Scott Dodelson / Libro Rigido
common.buy 115.59 €
I migliori
Origins of the Second World War A J P Taylor / Libro In brossura
common.buy 14.69 €
Collected Poems David Constantine / Libro In brossura
common.buy 19.69 €
Game Theory in the Social Sciences Lambertini / Libro In brossura
common.buy 114.59 €
Charting Transformation through Security Toni Haastrup / Libro Rigido
common.buy 57.79 €
Food Contaminants and Residue Analysis Yolanda Pico / Libro Rigido
common.buy 319.59 €
Self-Giving God and Salvation History Matthew L. Becker / Libro In brossura
common.buy 110.89 €

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