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.

Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Jim Davies
Codice Libristo: 01560067
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Libro In brossura
common.buy 55.29 €
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Libro In brossura
common.buy 55.29 €
Listy perskie wyd. 2 Monteskiusz / Libro In brossura
common.buy 3.99 €
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac / Libro In brossura
common.buy 9.49 €
I migliori
Národní opruzení Karolína Meixnerová / Libro In brossura
common.buy 11.39 €
Die Walküre Richard Wagner / Libro In brossura
common.buy 15.59 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Libro In brossura
common.buy 16.89 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Libro Rigido
common.buy 17.79 €
Génius i popleta Denise Fenziová / Libro Rigido
common.buy 9.59 €
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Libro In brossura
common.buy 14.69 €
Sen Ancak Sevdiginsin Serdar Özkan / Libro In brossura
common.buy 9.59 €
První republika v barvě Pavel Pospíšil / Libro Rigido
common.buy 33.79 €
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar? / Libro In brossura
common.buy 8.09 €
LE GRAND VOYAGE DE LENA DOUTREMER / Libro binding.
common.buy 18.79 €
Le Sacré en question / Libro In brossura
common.buy 43.79 €
Les nègres ont la peau dure Bavarin / Libro In brossura
common.buy 30.69 €
Čas na Vánoce printintin / Libro Rigido
common.buy 15.19 €
Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y Praca Zbiorowa Pod Red. M. Dobrowolskiej / Libro In brossura
common.buy 5.29 €
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Libro In brossura
common.buy 7.89 €
El pueblo durmiente REBECCA DAUTREMER / Libro In brossura
common.buy 26.69 €
Zambullendonos Bartolome Sanchez Sanchez / Libro In brossura
common.buy 51.29 €

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

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 Methods and Software Engineering
Autore Jim Davies, Wolfram Schulte, Mike Barnett
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 500
EAN 9783540238416
ISBN 3540238417
Codice Libristo 01560067
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1590
Dimensioni 155 x 235 x 28

Categorie

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 > 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

Stressed Composite Structures Alexander G. Kolpakov / Libro Rigido
common.buy 107.29 €
Computer Chemistry Ivar Ugi / Libro In brossura
common.buy 53.79 €
KEEP ON SWINGING PETER DE BOER_SIMON / Libro binding.
common.buy 31.89 €
Geosystems: Design Rules and Applications Adam Bezuijen / Libro In brossura
common.buy 98.99 €
Notes in Time: A Samantha Townsend Adventure Lisa Briley / Libro In brossura
common.buy 7.99 €
The Desire of Ages Mrs Ellen G White / Libro In brossura
common.buy 28.49 €
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects National Aeronautics and Administration / Libro In brossura
common.buy 25.69 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Libro In brossura
common.buy 11.39 €
Remainders to Children as a Class. Walter Murphy / Libro In brossura
common.buy 14.89 €
Pedigree reconstruction in commercial broodstock of Common Sole Brian Martin Babigumira / Libro In brossura
common.buy 33.59 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Libro Rigido
common.buy 105.09 €
Battle for Yellowstone Justin Farrell / Libro In brossura
common.buy 35.79 €
Fluorescence Imaging and Biological Quantification Raquel Seruca / Libro Rigido
common.buy 376.29 €
A MANUAL OF EXERCISES IN FOREST MENSURAT HUGO WINKENWERDER / Libro Rigido
common.buy 32.79 €
Talking to God Thomas L Constable / Libro In brossura
common.buy 21.99 €
Multimodal Behavior Analysis in the Wild Xavier Alameda-Pineda / Libro elettronico Adobe ePub DRM
common.buy 207.19 €
In preparazione Nuovi
Browser Art Daniela Hönigsberg / Libro Rigido
common.buy 100.99 €
Advances in Anesthesia, 2025 Laurence Torsher / Libro Rigido
common.buy 175.99 €
In Praise of Slow Carl Honore / Libro In brossura
common.buy 11.49 €
Jingle Spells Emily Grimoire / Libro In brossura
common.buy 8.99 €
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Libro Rigido
common.buy 171.49 €
Loyal Soldier, Lustful Beast (Light Novel) Saya Shirosaki / Libro In brossura
common.buy 16.89 €
Pugilistica: The History Of British Boxing Containing Lives Of The Most Celebrated Pugilists; Volume 3 Henry Downes Miles / Libro Rigido
common.buy 41.59 €
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version! André Feiler / Gioco/giocattolo Giocattolo
common.buy 37.29 €

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?