[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

On the Refinement Calculus

Lingua IngleseInglese
Libro In brossura
Libro On the Refinement Calculus Carroll Morgan
Codice Libristo: 05273677
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 1994
On the Refinement Calculus gives one view of the development of the refinement calculus and its atte... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Günter Grass 'Die Blechtrommel' Günter Grass / In brossura
common.buy 9.52 €
Fendt-Traktoren im Wirtschaftswunder, 5 DVDs / DVD
common.buy 64.00 €
Traditionelle Chinesische Medizin Paul U. Unschuld / In brossura
common.buy 9.62 €
Hindi Structures Intermediate Level, with Drills, Exercises, and Key Peter Edwin Hook / In brossura
common.buy 37.45 €
Scorsese: Meine italienische Reise, DVD Martin Scorsese / DVD
common.buy 22.79 €
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress H. Begehr / Rigido
common.buy 704.65 €
Making Sense of the Bible Adam Hamilton / In brossura
common.buy 15.62 €
Das Liederbuch 2004-2010 Silbermond / In brossura
common.buy 45.38 €
Abissinia Giornale di un viaggio Giuseppe Vigoni / In brossura
common.buy 42.91 €
Category Theory and Computer Science Peter Johnstone / In brossura
common.buy 72.67 €
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / In brossura
common.buy 48.37 €
William Shakespeare - Subject of the Crown? Manuela Sonntag / In brossura
common.buy 24.40 €
Modern Electroencephalographic Assessment Techniques Vangelis Sakkalis / Rigido
common.buy 143.32 €
Euro, Inflation and Consumers' Perceptions Paolo Giovane / In brossura
common.buy 143.32 €
Multi-Agent System Engineering Magnus Boman / In brossura
common.buy 72.67 €
EAT HAPPY Anna Vocino / Rigido
common.buy 39.38 €

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Informazioni sul libro

Titolo completo On the Refinement Calculus
Autore Carroll Morgan, Trevor Vickers
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1994
Numero di pagine 159
EAN 9783540199311
ISBN 3540199314
Codice Libristo 05273677
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 280
Dimensioni 155 x 235 x 15

Categorie

Matematica e Scienze > Matematica > Calcolo e analisi matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
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

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