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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656973
Price: 110.69 EUR
Availability: InStock
Author: Jin Song Dong
ISBN: 9783642169007

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Jin Song Dong

Huibiao Zhu

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01656973

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2010

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

Koda Libristo: 01656973

267 b

110.69 €

Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Mehka

11.43 €

Andre Cornelis M Paul Bourget

Mehka

12.04 €

LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ

Knjiga

49.72 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.43 €

Moja kaligrafia Cyferki Dorota Krassowska

Mehka

1.31 €

Moluk Bilibo Balance- und Spielschale lila

Igrača

30.58 €

Wild Julia Ruby Hildebrand

Trda

20.35 €

Bilder des Kaisers von Deutschland Bernd Schubert

Mehka

67.14 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Mehka

26.83 €

Heidejagd Angela L. Forster

Mehka

11.23 €

Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner

Mehka

11.84 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Mehka

49.11 €

Dinosaury

Kartonka

8.09 €

Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA

Knjiga

52.05 €

Filosofía de la ciencia HERCE FERNANDEZ

Mehka

13.76 €

Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald

Mehka

36.15 €

Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume

Mehka

11.94 €

Sol rojo sobre Hiroshima Mario Escobar Golderos

Mehka

26.42 €

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.