Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02081946
Price: 195.81 PLN
Availability: InStock
Author: Michael Dierkes
ISBN: 9783642410093

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Michael Dierkes

Charles Pecheur

Język

Angielski

Książka Miękka

Kod Libristo: 02081946

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2013

This book constitutes the thoroughly refereed conference proceedings of the 18th International Works... Cały opis

Kod Libristo: 02081946

109 b

195.81 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

APRENDIENDO A HABLAR Y A ESCRIBIR EN BOBE PRIMEROS PASOS CU LORIBO APO

Miękka

80.65 zł

Das deutsche Gesundheitswesen zwischen Solidarität und Eigenverantwortung Mareike Bibow

Miękka

66.37 zł

Numret till en vän

Miękka

50.18 zł

Erlebnis Chemie 7-9. Schülerband. Für Baden-Württemberg

Twarda

170.77 zł

Organisationen in Der Weiterbildung Rainer Zech

Miękka

194.20 zł

Rede vom Wort und vom Heiligen Geist in den Pia Desideria und ihr Verhaltnis zueinander Jan Langfeldt

Miękka

59.03 zł

UEberlegungen des Dritten Reichs zur Ruckholung deutscher Auswanderer aus Lateinamerika und die These von der 5. Kolonne - ein Widerspruch? Florian Beer

Miękka

66.37 zł

Algorithmische Mathematik Winfried Hochstättler

Miękka

147.74 zł

Thimigs Arthur Kahane

Miękka

48.07 zł

Einfach selbst gemacht Ilse Gutjahr

Miękka

51.48 zł

VERSAILLES CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES CHRISTIAN BOUTHIER Książka

binding.

98.66 zł

Harry Potter e la camera dei segreti. Ediz. copertine De Lucchi. Vol. 2 Joanne Rowling

Twarda

115.15 zł

Música popular española López Chávarri

Miękka

49.27 zł

Andělé se samopalem Milan Kopecký

Twarda

77.03 zł

Les grands initiés Edouard Schure

Miękka

122.39 zł

Angel baby Richard Lange

Miękka

118.47 zł

Französinnen in Ravensbrück Amicale de Ravensbrück und der Association des déportées et internées de la Résistance (ADIR)

Miękka

106.70 zł

Neue Technologien Und Arbeitskampf Wolfgang Hindrichs

Miękka

213.61 zł

Buergerstimme - Journalismus am Puls der Gesellschaft Joachim Sondern

Miękka

105.80 zł

Vita Normale Bruno Zucchermaglio

Miękka

57.22 zł

Prokletá kaple Robin Stejskal

Książka

21.61 zł

Skanzeny Iveta Zuskinová

Mapa

44.04 zł

ANTES, DESDE Y DESPUS DEL CUBISMO MARIA DOLORES JIMENEZ-BLANCO

Miękka

126.92 zł

La Securite En Algerie Paoli-L

Miękka

61.04 zł

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.