Spedizione gratuita per ordini superiori a 69,99 euro.

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

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 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560067
Price: 107.29 EUR
Availability: InStock
Author: Jim Davies
ISBN: 9783540238416

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

Jim Davies

Wolfram Schulte

Mike Barnett

Lingua

Inglese

Libro In brossura

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

Codice Libristo: 01560067

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger

In brossura

55.29 €

Elektrotechnische Messkunde Paul Benjamin Arthur Linker

In brossura

55.29 €

2 Audio-CDs zum Kursbuch Dr. Michaela Perlmann-Balme

CD audio

27.49 €

Les nègres ont la peau dure Bavarin

In brossura

30.79 €

Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd

In brossura

7.89 €

Génius i popleta Denise Fenziová

Rigido

10.29 €

Die Walküre Richard Wagner

In brossura

24.19 €

Im Angesicht des Verbrechens Dominik Graf

Blu-ray

27.29 €

Institutionen. Rudolph Sohm

Rigido

68.79 €

Boating Llewelyn Pritchard Ma

In brossura

12.59 €

Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer

In brossura

16.89 €

Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher

In brossura

16.89 €

El pueblo durmiente REBECCA DAUTREMER

In brossura

26.99 €

2012, Das Bewusstsein der Neuen Zeit Lee Carroll

Rigido

17.79 €

Sen Ancak Sevdiginsin Serdar Özkan

In brossura

9.59 €

Ben Sende Tutuklu Kaldim Güler Bilkay Aygün

In brossura

14.69 €

Zambullendonos Bartolome Sanchez Sanchez

In brossura

51.29 €

Esos Rincones Profundos De Mi Alma Georgina Ma Chahin

In brossura

13.89 €

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.