Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods for Industrial Critical Systems

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Industrial Critical Systems Stefan Kowalewski
Codul Libristo: 01656673
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2010
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus... Descrierea completă
? points 138 b
299.82 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

più belle storie di paura e mistero Stefania Leonardi Hartley / Carte Copertă tare
common.buy 88.98 lei
Guia de la bolsa para principiantes. Como invertir en el Reino Unido Robert Ward / E-book Adobe ePub DRM
common.buy 15.79 lei
Meereszeichen Susanne Seemann / Carte Copertă tare
common.buy 74.95 lei
Discussione sulla razza. Come sciogliere i nodi su storia, culture e razzismi Margaret Mead / Carte Carte broșată
common.buy 164.98 lei
Maine de Biran, 1766-1824. Essai de biographie historique et psychologique Jean-Amable La Valette-Monbrun / Carte Carte broșată
common.buy 220.81 lei
L'interazione tra fisica della relativit? e spiritualit? umana Vishal Panse / Carte Carte broșată
common.buy 394.42 lei
Passato, presente e futuro degli impianti dentali Sahil Narula / Carte Carte broșată
common.buy 276.42 lei
CD MP3 Rozważna czy romantyczna? Anna Karpińska / Audiobook Audiobook
common.buy 37.21 lei
El camí obert per Jesús. Mateu Pagola Elorza / Carte Carte broșată
common.buy 102.39 lei
El Español de América: Morfosintaxis Histórica y Variación Fernández Martín / Carte Carte broșată
common.buy 252.62 lei
Walker Evans dans le temps et dans l'histoire Jean-François Chevrier / Carte Copertă tare
common.buy 161.55 lei
Polyglot Munshi: Or Vocabulary, Exercises, Pleasant Stories, Etc. Etc. Etc. (1841) Mu'nshi Debi'persa'd Ra'e / Carte Carte broșată
common.buy 142.63 lei
Berliner Platz NEU Christiane Lemcke / Carte Carte broșată
common.buy 99.79 lei
Frauen in der Punkrockszene Isabelle Linda Riedlinger / Carte Carte broșată
common.buy 146.58 lei
Mit neuen Medien neue Wege in der Bildungswissenschaft beschreiten. E-Learning im Web 2.0 Ilka-Maria Watermann / Carte Carte broșată
common.buy 138.99 lei
Cuidados auxiliares de enfermería en el área hospitalaria : quirófano y urgencias ICB / Carte Carte broșată
common.buy 145.22 lei
Administrativos de la Junta de Andalucia. Promocion Interna. Test y examenes RISCOS GOMEZ / Carte Carte broșată
common.buy 196.79 lei
Koordination im Supply Chain Management Marcus Groll / Carte Carte broșată
common.buy 319.57 lei
BASICS kolleg, Entwurfszeichnen Karl-Michael Haake / Carte Foaie
common.buy 74.95 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods for Industrial Critical Systems
Autor Stefan Kowalewski, Marco Roveri
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 231
EAN 9783642158971
ISBN 3642158978
Codul Libristo 01656673
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 424
Dimensiuni 156 x 238 x 24

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Eric and Friends Activity Book Tagore Ramoutar / Carte Carte broșată
common.buy 46.98 lei
Biogas Science and Technology Georg M. Guebitz / Carte Copertă tare
common.buy 852.37 lei
Ordnance Survey and Modern Irish Literature Coilin Parsons / Carte Copertă tare
common.buy 945.63 lei
Miscellaneous Works of Edward Gibbon, Esq Edward Gibbon / Carte Copertă tare
common.buy 220.39 lei
A Precious Fountain: Music in the Worship of an African American Catholic Community Mary E. McGann / Carte Carte broșată
common.buy 151.98 lei
Historic Photos of Salt Lake City Jeff Burbank / Carte Copertă tare
common.buy 177.56 lei
How to Read the Constitution and the Declaration of Independence Paul B. Skousen / Carte Copertă tare
common.buy 139.19 lei
Summers and Winters at Balmawhapple; A Second Series of the Table-Talk of Shirley [Pseud.] Volume 1 John Skelton / Carte Copertă tare
common.buy 184.21 lei
American Historical Tales for Youth Francis Lister Hawks / Carte Copertă tare
common.buy 215.40 lei
Shaky Phase JESSIE JANESHEK / Carte Carte broșată
common.buy 68.40 lei
Hope Street Mike Mitchell / Carte Carte broșată
common.buy 64.97 lei
At The Gates Of The Sanctuary: The Postulant And The Novice Dom Rupert Presinger O S B / Carte Carte broșată
common.buy 106.55 lei
Bayou Teche National Wildlife Refuge Comprehensive Conservation Plan U S Departme Fish and Wildlife Service / Carte Carte broșată
common.buy 101.56 lei
Space Between Michael Bracewell / Carte Carte broșată
common.buy 149.18 lei
Life of Viscount Bolingbroke Arthur Hassall / Carte Copertă tare
common.buy 236.19 lei
Lawless Love Rosanne Bittner / Carte Carte broșată
common.buy 95.22 lei
Devil's Advocate Donald Freed / Carte Carte broșată
common.buy 90.75 lei
Hands-On Serverless Applications with Go Mohamed Labouardy / Carte Carte broșată
common.buy 272.58 lei
Dissonance or Harmony: My personal odyssey to inner peace and beyond PERSPECTIVES ABOUT LOGIC, EMOTIONS, MUSIC AND SELF-DISCOVERY Gamze Hakli Geray / Carte Carte broșată
common.buy 81.39 lei
Durnford 1879 from Isandlwana to Chatham Kristine Herron / Carte Carte broșată
common.buy 118.82 lei
Butterfly Trap Tl Fisher / Carte Carte broșată
common.buy 81.81 lei
The Life of the Ancient Greeks,: With Special Reference to Athens Charles Burton 1868-1962 Gulick / Carte Carte broșată
common.buy 137.43 lei
Next Generation Spin Torque Memories Brajesh Kumar Kaushik / E-book Adobe ePub DRM
common.buy 353.56 lei
Top
Little Guides to Style Collection Emma Baxter-Wright / Carte Copertă tare
common.buy 558.16 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?