Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01570773
Price: 53.1 EUR
Availability: InStock
Author: Shaoying Liu
ISBN: 9783540881933

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

Shaoying Liu

Tom Maibaum

Keijiro Araki

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01570773

Založba Springer, Berlin, november 2007

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Celoten opis

Koda Libristo: 01570773

129 b

53.10 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Programmieren Lernen Peter Pepper

Mehka

44.52 €

Grenzen, Nähe, Respekt Jesper Juul

Mehka

11.10 €

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

Mehka

66.53 €

Richterrecht und Verfassung. Jörn Ipsen

Mehka

57.54 €

Herrschaft Susanne Held

Trda

22.10 €

matrimonio nel diritto ebraico Daniele Zaccheddu

Mehka

30.79 €

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.