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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Jin Song Dong
Codice Libristo: 01558768
Casa editrice Springer, Berlin, novembre 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Un Regalo para el Alma 3 Jose Maria Ventura / Libro In brossura
common.buy 15.39 €
La sala de lo penal MUNILLA PETREÑAS / Libro In brossura
common.buy 13.59 €
Soleil d'or CLERGEOT-L / Libro In brossura
common.buy 27.09 €
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Libro In brossura
common.buy 28.59 €
Juwelen aus El Moryas Schatzhaus El Morya / Libro In brossura
common.buy 15.59 €
Wittgenstein et la question du livre Guest / Libro In brossura
common.buy 32.39 €
Mini livre à gratter - Dinosaures Duddek / Libro In brossura
common.buy 12.99 €
Aria - Tome 40 - Carnet de voyage Weyland Michel / Libro Rigido
common.buy 20.69 €
Wise Man's Grandchild 12 Shunsuke Ogata / Libro In brossura
common.buy 6.89 €
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Libro In brossura
common.buy 7.49 €
Jméno-objev a zmizení věci Antonín Mokrejš / Libro In brossura
common.buy 10.29 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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 Jin Song Dong, Jim Woodcock
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 682
EAN 9783540204619
ISBN 354020461X
Codice Libristo 01558768
Casa editrice Springer, Berlin
Peso 966
Dimensioni 155 x 235 x 35

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 > Teoria matematica della computazione
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

Wall Jean Paul Sartre / Libro In brossura
common.buy 12.69 €
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Libro Rigido
common.buy 18.09 €
BattleTech Legends Robert Thurston / Libro In brossura
common.buy 14.39 €
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Libro In brossura
common.buy 18.19 €
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Libro In brossura
common.buy 24.99 €
Bird House Libby Walden / Libro Leporello
common.buy 12.49 €
The Higher Power of Lucky Susan Patron / Libro In brossura
common.buy 7.29 €
Women and Leadership Around the World Cynthia Cherrey / Libro In brossura
common.buy 64.09 €
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Libro Rigido
common.buy 78.49 €
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Libro In brossura
common.buy 56.09 €
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Libro Rigido
common.buy 155.89 €
How We Know Harry Binswanger / Libro Rigido
common.buy 40.69 €
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Libro In brossura
common.buy 10.59 €

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