Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656673
Price: 20807 HUF
Availability: InStock
Author: Stefan Kowalewski
ISBN: 9783642158971

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Stefan Kowalewski

Marco Roveri

Language

English

Book Paperback

Libristo code: 01656673

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010

This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus... Full description

Libristo code: 01656673

138 b

20 807 Ft

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Elements de la Taxonomie Vegetale Jean De Dieu Mangambu Mokoso

Paperback

21 603 Ft

Cuidados auxiliares de enfermería en el área hospitalaria : quirófano y urgencias ICB

Paperback

10 131 Ft

Guia de la bolsa para principiantes. Como invertir en el Reino Unido Robert Ward

Adobe ePub DRM

1 095 Ft

Discussione sulla razza. Come sciogliere i nodi su storia, culture e razzismi Margaret Mead

Paperback

11 814 Ft

Administrativos de la Junta de Andalucia. Promocion Interna. Test y examenes RISCOS GOMEZ

Paperback

13 738 Ft

AMERICANAH Chimamanda Ngozi Adichie

Book

8 026 Ft

Frauen in der Punkrockszene Isabelle Linda Riedlinger

Paperback

10 524 Ft

Maine de Biran, 1766-1824. Essai de biographie historique et psychologique Jean-Amable La Valette-Monbrun

Paperback

15 303 Ft

Ressourcenmanagement in Militärorganisationen Andreas H. Glas

Adobe ePub DRM

4 390 Ft

L'interazione tra fisica della relativit? e spiritualit? umana Vishal Panse

Paperback

28 307 Ft

Mit neuen Medien neue Wege in der Bildungswissenschaft beschreiten. E-Learning im Web 2.0 Ilka-Maria Watermann

Paperback

9 965 Ft

Passato, presente e futuro degli impianti dentali Sahil Narula

Paperback

19 830 Ft

BASICS kolleg, Entwurfszeichnen Karl-Michael Haake

Sheet

5 367 Ft

Der Schwielow und seine Umgebung Theodor Fontane

Paperback

4 508 Ft

Berliner Platz NEU Christiane Lemcke

Paperback

6 793 Ft

più belle storie di paura e mistero Stefania Leonardi Hartley

Hardback

6 163 Ft

CD MP3 Rozważna czy romantyczna? Anna Karpińska

Audiobook

2 584 Ft

El camí obert per Jesús. Mateu Pagola Elorza

Paperback

7 154 Ft

El Español de América: Morfosintaxis Histórica y Variación Fernández Martín

Paperback

17 588 Ft

Walker Evans dans le temps et dans l'histoire Jean-François Chevrier

Hardback

11 183 Ft

Criaturas Miticas livros para colorir para adultos Young Dreamers Press

Paperback

5 144 Ft

Polyglot Munshi: Or Vocabulary, Exercises, Pleasant Stories, Etc. Etc. Etc. (1841) Mu'nshi Debi'persa'd Ra'e

Paperback

10 178 Ft

I Love to Eat Fruits and Vegetables (Bulgarian English Bilingual Book) Kidkiddos Books

Paperback

6 495 Ft

Die Albigenser-Kreuzzüge Denis Kaiser

Paperback

6 433 Ft

This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp,§Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM§International Conference on Automated Software Engineering,§The 14 papers presented were carefully reviewed and selected from 33§submissions.§The aim of the FMICS workshop series is to provide a forum for researchers§who are interested in the development and application of formal methods in§industry. It also strives to promote research and development for the§improvement of formal methods and tools for industrial applications.