Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods for Industrial Critical Systems

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Industrial Critical Systems Michael Dierkes
Libristo-code: 02081946
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2013
This book constitutes the thoroughly refereed conference proceedings of the 18th International Works... Volledige beschrijving
? points 115 b
47.47 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Organisationen in Der Weiterbildung Rainer Zech / Boek Gebonden (paperback)
common.buy 47.16 €
Erlebnis Chemie 7-9. Schülerband. Für Baden-Württemberg / Boek Gebonden (harde band)
common.buy 41.20 €
Numret till en vän / Boek Gebonden (paperback)
common.buy 12.21 €
UEberlegungen des Dritten Reichs zur Ruckholung deutscher Auswanderer aus Lateinamerika und die These von der 5. Kolonne - ein Widerspruch? Florian Beer / Boek Gebonden (paperback)
common.buy 16.15 €
Algorithmische Mathematik Winfried Hochstättler / Boek Gebonden (paperback)
common.buy 35.85 €
Thimigs Arthur Kahane / Boek Gebonden (paperback)
common.buy 11.71 €
Einfach selbst gemacht Ilse Gutjahr / Boek Gebonden (paperback)
common.buy 12.62 €
VERSAILLES CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES CHRISTIAN BOUTHIER Boek binding.
common.buy 23.12 €
Neue Technologien Und Arbeitskampf Wolfgang Hindrichs / Boek Gebonden (paperback)
common.buy 51.81 €
Prokletá kaple Robin Stejskal / Boek Boek
common.buy 6.15 €
Buergerstimme - Journalismus am Puls der Gesellschaft Joachim Sondern / Boek Gebonden (paperback)
common.buy 25.75 €
ANTES, DESDE Y DESPUS DEL CUBISMO MARIA DOLORES JIMENEZ-BLANCO / Boek Gebonden (paperback)
common.buy 29.38 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Industrial Critical Systems
Auteur Michael Dierkes, Charles Pecheur
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 199
EAN 9783642410093
ISBN 364241009X
Libristo-code 02081946
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 454
Afmetingen 155 x 235 x 13

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

I Am Every Woman: God's Leading Ladies Empowerment Manual Dr Pauline Key / Boek Gebonden (paperback)
common.buy 14.74 €
TOP
The Rebel Witch Kristen Ciccarelli / Boek Gebonden (paperback)
common.buy 9.08 €
STARGATE SG-1 Roswell Sonny Whitelaw / E-book Adobe ePub DRM
common.buy 6.05 €
When Saturday Comes Tony Bradman / Luisterboek MP3
common.buy 5.85 €
The Elgar Companion to the Eurasian Economic Union Alexander Libman / Boek Gebonden (harde band)
common.buy 254.23 €
Voordelig
Cotton Comes to Harlem Chester Himes / Boek Gebonden (paperback)
common.buy 6.35 €
Machine Learning and Principles and Practice of Knowledge Discovery in Databases Michael Kamp / Boek Gebonden (paperback)
common.buy 154.13 €
Out of Doors for Women; 2 no. 14 Anonymous / Boek Gebonden (paperback)
common.buy 14.54 €
Voordelig
Economic Sanctions in International Law and Practice Masahiko Asada / Boek Gebonden (paperback)
common.buy 53.12 €
Red Flagged Joe Bailey / Boek Gebonden (paperback)
common.buy 15.75 €
Off On A Comet Or Hector Servadac Jules Verne / Boek Gebonden (paperback)
common.buy 15.55 €
The problem of "Fake News". What are the challenges to Internet regulation? Angela Gubser / Boek Gebonden (paperback)
common.buy 14.43 €
Porpoise Mark Haddon / Boek Gebonden (paperback)
common.buy 26.56 €
Gods of Men Barbara Kloss / Boek Gebonden (paperback)
common.buy 20.29 €
Geographic Perspective of Cuban Landscapes Jennifer Gebelein / Boek Gebonden (paperback)
common.buy 154.13 €
Broadcasting Change Joseph Braude / Boek Gebonden (paperback)
common.buy 61.71 €
Those That I Guard Stephen Johnson / Boek Gebonden (paperback)
common.buy 19.28 €
Teachers Norman M Walker / Boek Gebonden (paperback)
common.buy 15.75 €
I Am the Wallpaper Mark Peter Hughes / Boek Gebonden (paperback)
common.buy 12.82 €
Cultural Crisis of the Firm Erica Schoenberger / Boek Gebonden (paperback)
common.buy 27.97 €
Moral Gray Zones Michael Anteby / Boek Gebonden (harde band)
common.buy 80.60 €
Global Perspectives on US Foreign Policy Sally Burt / Boek Gebonden (paperback)
common.buy 60.90 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?