Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Methods for Industrial Critical Systems Stefan Kowalewski

Formal Methods for Industrial Critical Systems

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

Szerző: Stefan Kowalewski, Marco Roveri
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: 50 % esély
Keressük az egész világon
19 860 Ft
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus...

Információk a könyvről

Szerző
Stefan Kowalewski, Marco Roveri
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
231
EAN
9783642158971
ISBN
3642158978
Enbook ID
01656673
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
424
Méretek
156 x 238 x 24

Teljes leírás

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.

Érdekelheti

Eric and Friends Activity Book

Tagore Ramoutar
3 206 Ft

Biogas Science and Technology

Georg M. Guebitz
58 107 Ft

Ordnance Survey and Modern Irish Literature

Coilin Parsons
62 546 Ft

Miscellaneous Works of Edward Gibbon, Esq

Edward Gibbon
14 992 Ft

A Precious Fountain: Music in the Worship of an African American Catholic Community

Mary E. McGann
10 210 Ft

Historic Photos of Salt Lake City

Jeff Burbank
12 156 Ft

How to Read the Constitution and the Declaration of Independence

Paul B. Skousen
9 510 Ft

Summers and Winters at Balmawhapple; A Second Series of the Table-Talk of Shirley [Pseud.] Volume 1

John Skelton
12 531 Ft

American Historical Tales for Youth

Francis Lister Hawks
14 635 Ft

Shaky Phase

JESSIE JANESHEK
4 683 Ft

Hope Street

Mike Mitchell
4 412 Ft

At The Gates Of The Sanctuary: The Postulant And The Novice

Dom Rupert Presinger O S B
7 261 Ft

Bayou Teche National Wildlife Refuge Comprehensive Conservation Plan

U S Departme Fish and Wildlife Service
6 900 Ft

Space Between

Michael Bracewell
10 223 Ft

Life of Viscount Bolingbroke

Arthur Hassall
16 053 Ft

Lawless Love

Rosanne Bittner
6 503 Ft

Devil's Advocate

Donald Freed
6 173 Ft

Hands-On Serverless Applications with Go

Mohamed Labouardy
18 528 Ft

Dissonance or Harmony: My personal odyssey to inner peace and beyond PERSPECTIVES ABOUT LOGIC, EMOTIONS, MUSIC AND SELF-DISCOVERY

Gamze Hakli Geray
5 541 Ft

Durnford 1879 from Isandlwana to Chatham

Kristine Herron
8 133 Ft

Butterfly Trap

Tl Fisher
5 572 Ft

The Life of the Ancient Greeks,: With Special Reference to Athens

Charles Burton 1868-1962 Gulick
9 352 Ft

Next Generation Spin Torque Memories

Brajesh Kumar Kaushik
23 256 Ft

Little Guides to Style Collection

Emma Baxter-Wright
38 220 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

più belle storie di paura e mistero

Stefania Leonardi Hartley
5 970 Ft

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

Robert Ward
1 043 Ft

Meereszeichen

Susanne Seemann
5 112 Ft

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

Margaret Mead
11 253 Ft

Maine de Biran, 1766-1824. Essai de biographie historique et psychologique

Jean-Amable La Valette-Monbrun
14 694 Ft

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

Vishal Panse
26 963 Ft

Passato, presente e futuro degli impianti dentali

Sahil Narula
18 889 Ft

CD MP3 Rozważna czy romantyczna?

Anna Karpińska
2 520 Ft

El camí obert per Jesús. Mateu

Pagola Elorza
6 801 Ft

El Español de América: Morfosintaxis Histórica y Variación

Fernández Martín
16 739 Ft

Walker Evans dans le temps et dans l'histoire

Jean-François Chevrier
10 752 Ft

Polyglot Munshi: Or Vocabulary, Exercises, Pleasant Stories, Etc. Etc. Etc. (1841)

Mu'nshi Debi'persa'd Ra'e
9 695 Ft

Berliner Platz NEU

Christiane Lemcke
6 471 Ft

Frauen in der Punkrockszene

Isabelle Linda Riedlinger
10 025 Ft

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

Ilka-Maria Watermann
9 492 Ft

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

ICB
9 636 Ft

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

RISCOS GOMEZ
13 046 Ft

Koordination im Supply Chain Management

Marcus Groll
21 792 Ft

BASICS kolleg, Entwurfszeichnen

Karl-Michael Haake
5 112 Ft