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

Formal Specification

Techniques and Applications

Lingua IngleseInglese
Libro In brossura
Libro Formal Specification Nimal Nissanke
Codice Libristo: 06798524
Casa editrice Springer, Berlin, luglio 1999
Formal Specification provides the reader with a practical and versatile approach to constructing pro... Descrizione completa
? points 129 b
52.69 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Weil das Leben fragt Josef Hiebaum / Libro In brossura
common.buy 22.49 €
fotovoltaico per tutti. Manuale pratico per esperti e meno esperti Francesco Groppi / Libro In brossura
common.buy 30.59 €
Einführung in die Kunstpädagogik Georg Peez / Libro In brossura
common.buy 28.69 €
I migliori
Bully - Szívatás Douglas / Libro In brossura
common.buy 13.49 €
Rebecca Malcolm Jones / Libro In brossura
common.buy 22.99 €
?ric i l'Exèrcit del Fènix. Bertran Martínez / Libro In brossura
common.buy 16.59 €
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Libro In brossura
common.buy 13.59 €
Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Libro Rigido
common.buy 55.69 €
Poste d'aiguillage Resplendino / Libro In brossura
common.buy 17.69 €
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Libro In brossura
common.buy 23.59 €
Dragon Ball Super nº 06 Akira Toriyama / Audio CD audio
common.buy 9.09 €
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898) Alfred Ogle Maskell / Libro In brossura
common.buy 21.99 €
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Libro In brossura
common.buy 21.99 €
Z deníku dočaskářky Ten pes je chuligán! Olga Minaříková / Libro Rigido
common.buy 3.69 €
EL ORIGEN DE LOS OTROS TONI MORRISON / Libro Rigido
common.buy 15.49 €
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Libro In brossura
common.buy 28.29 €
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Libro In brossura
common.buy 16.39 €
Grundlagen Des Operations Research 3 Tomas Gal / Libro Rigido
common.buy 49.29 €
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Libro In brossura
common.buy 60.29 €
Vadims Methode Vadim Tschenze / Libro In brossura
common.buy 13.29 €
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4) Rick Riordan / Libro Rigido
common.buy 15.19 €

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

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 Formal Specification
Autore Nimal Nissanke
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1999
Numero di pagine 295
EAN 9781852330026
ISBN 1852330023
Codice Libristo 06798524
Casa editrice Springer, Berlin
Peso 488
Dimensioni 156 x 234 x 16

Categorie

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

The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Libro In brossura
common.buy 10.39 €
Ayurveda and Acupuncture Frank Ros / Libro In brossura
common.buy 17.39 €
Wars of the Roses John Ashdown-Hill / Libro In brossura
common.buy 14.69 €
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Libro In brossura
common.buy 20.89 €
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Libro In brossura
common.buy 37.89 €
Your Career as a Fashion Designer Institute for Career Research / Libro In brossura
common.buy 11.19 €
How To Write A Good Advertisement Victor O Schwab / Libro Rigido
common.buy 35.79 €
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Libro In brossura
common.buy 53.79 €
International Criminal Law and Sexual Violence against Women Daniela (Queen Mary University of London UK) Nadj / Libro Rigido
common.buy 215.89 €
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen Oskar Panizza / Libro In brossura
common.buy 9.79 €
The Christmas Spirit MACOMBER DEBBIE / Libro In brossura
common.buy 8.39 €
Routledge Companion to Digital Ethnography Larissa Hjorth / Libro In brossura
common.buy 74.39 €
The Crowd in the French Revolution George F. E. Rudé / Libro In brossura
common.buy 23.89 €
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Libro In brossura
common.buy 38.69 €
Last Stop David Patterson / Libro In brossura
common.buy 15.39 €
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Libro In brossura
common.buy 14.49 €
Late Capitalist Fascism Mikkel Bolt Rasmussen / Libro Rigido
common.buy 43.39 €
War in Texas Benjamin Lundy / Libro Rigido
common.buy 30.79 €
Project Puffin Stephen W. Kress / Libro In brossura
common.buy 24.09 €
Light Cavalry Brigade in the Crimea. Extracts from the Letters and Journal of the Late Gen. Lord G. Paget During the Crimean War. with a Map. Edited b Cecil Stratford Paget / Libro In brossura
common.buy 30.79 €
Applying a Health Lens to Decision Making in Non-Health Sectors Roundtable on Population Health Improvement / Libro In brossura
common.buy 44.49 €
Professional Content Management Systems - Handling Digital Media Assets Andreas Mauthe / Libro Rigido
common.buy 136.09 €
Henry and the Big Wish Laura Watkins / Libro Rigido
common.buy 9.09 €
Where Skies are Not Cloudy W. McDonald / Libro In brossura
common.buy 12.99 €

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?