Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Formal Methods and Software Engineering Shaoying Liu

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Lingua

Inglese

Libro In brossura

Libro Formal Methods and Software Engineering Shaoying Liu

Codice Libristo: 01570773

Casa editrice Springer, Berlin, novembre 2007

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Descrizione completa

Codice Libristo: 01570773

?

points

122 b

49.89 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Programmieren Lernen Peter Pepper

/

In brossura

46.69 €

Grenzen, Nähe, Respekt Jesper Juul

/

In brossura

11.69 €

Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim

/

In brossura

83.79 €

Herrschaft Susanne Held

/

Rigido

23.39 €

Richterrecht und Verfassung. Jörn Ipsen

/

In brossura

65.19 €

matrimonio nel diritto ebraico Daniele Zaccheddu

/

In brossura

34.09 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

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 Shaoying Liu, Tom Maibaum, Keijiro Araki

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2008

Numero di pagine 397

EAN 9783540881933

ISBN 354088193X

Codice Libristo 01570773

Casa editrice Springer, Berlin

Peso 635

Dimensioni 155 x 235 x 21

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

NUMIFORM 2010 Frederic Barlat

/

In brossura

416.19 €

Essay Towards an Easy and Useful System of Logic Robert Blakey

/

Rigido

33.69 €

In preparazione

Measuring the Early Modern and Modern Chinese Economy Ziang Liu

/

Rigido

178.49 €

Kimi ni Todoke: From Me to You: Soulmate, Vol. 3 Karuho Shiina

/

In brossura

8.29 €

Giorgio Strehler Directs Carlo Goldoni Scott Malia

/

Adobe ePub DRM

118.39 €

Horror Before It Was Cool Weasel Press

/

In brossura

6.79 €

Lives Of Scottish Authors (1801) David Irving

/

In brossura

24.89 €

Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes

/

In brossura

8.89 €

Ruins of Fate Jamie a Waters

/

Rigido

12.69 €

Diana Carew Colonel Bridges

/

In brossura

27.39 €

Embracing and Educating the Autistic Child Nicholas D. Young

/

In brossura

31.69 €

Hive to Honey Julie Knutson

/

In brossura

13.99 €

I Love You God Amal Ishraim

/

In brossura

10.09 €

Three Lakes Alan Tulppo

/

Rigido

19.79 €

Orienting Polymers J.-L. Ericksen

/

In brossura

25.69 €

Microelectronics Education Ton J. Mouthaan

/

Rigido

87.29 €

Statistical Analysis of Environmental Space-Time Processes Nhu D. Le

/

In brossura

130.79 €

Yacoubian Building Alaa Al Aswany

/

In brossura

9.19 €

So Far, So Goude Jean-Paul Goude

/

Rigido

91.19 €

Body Image Breakthrough Jaci Wightman

/

In brossura

12.99 €

The Garden Crew (We Read Phonics - Level 6) Sindy McKay

/

In brossura

6.49 €

Film Business: A Handbook for Producers Tom Jeffrey

/

In brossura

26.09 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?