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

20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Industrial Critical Systems Manuel Nunez
Libristo-code: 09285181
Uitgeverij Springer International Publishing AG, mei 2015
This book constitutes the proceedings of the 20th International Conference on Formal Methods for Ind... Volledige beschrijving
? points 120 b
49.65 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Jeppe-pappa ja onnen muruset / Boek Gebonden (harde band)
common.buy 18.64 €
Una melancolía optimista LUIS GARCIA MONTERO / Audio Audio cd
common.buy 24.52 €
P'TIT JUJU À L'HÔPITAL POCHE LOUPY / Boek Gebonden (paperback)
common.buy 8.91 €
Skitourenführer Salzburger Land - Band 2 Kühberger Rudolf / Boek Gebonden (paperback)
common.buy 37.29 €
Die Kindermörderin Heinrich Leopold Wagner / Boek Gebonden (paperback)
common.buy 13.57 €
Сочинения для хора без сопровождения. Текст на русском языке с транслитерацией. Сост. Б. Тевлин Родион Щедрин / Drukwerk Bladmuziek
common.buy 13.98 €
CONCERTO D MAJOR REINHARD KEISER Drukwerk Bladmuziek
common.buy 20.97 €
KATEDRALA CARVER / Boek Boek
common.buy 20.87 €
Wordt verwacht
Généalogies et nature du transhumanisme - Etat actuel du débat Damour / Boek Gebonden (paperback)
common.buy 27.45 €
Mini Timmy - Vivint un somni TIM CAHILL / Boek Gebonden (harde band)
common.buy 10.63 €
TOP
Velkolepý plán Tyrani a králové John Marco / Boek Gebonden (paperback)
common.buy 8.60 €
Komu straší ve věži Marie Rejfová / Boek Gebonden (harde band)
common.buy 12.35 €
EDUCACION VIRTUDES HUMANAS Y SU EVOLUCION 15¦ED DAVID ISAACS / Boek Gebonden (paperback)
common.buy 19.95 €
La guerra de la limonada/ The Lemonade War Jacqueline Davies / Boek Gebonden (paperback)
common.buy 8.40 €
Der kleine Nick und die Nachbarn René Goscinny / Boek Gebonden (paperback)
common.buy 10.43 €

This book constitutes the proceedings of the 20th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

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 Manuel Nunez, Matthias Güdemann
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 213
EAN 9783319194578
ISBN 3319194577
Libristo-code 09285181
Uitgeverij Springer International Publishing AG
Gewicht 3577
Afmetingen 155 x 235 x 12

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

The Town of N Leonid Dobychin / Boek Gebonden (paperback)
common.buy 19.35 €
Storyteller's Handbook Elise Hurst / Boek Gebonden (harde band)
common.buy 19.45 €
Web Scale Discovery Services Jason Vaughan / E-book Adobe ePub DRM
common.buy 57.76 €
Hearts That Cut Kika Hatzopoulou / Boek Gebonden (paperback)
common.buy 8.60 €
Ventures Basic Class Audio CDs Gretchen Bitterlin / Audio Audio cd
common.buy 71.64 €
33 Minutes Todd Hasak-Lowy / Boek Gebonden (paperback)
common.buy 8.71 €
101 Things to do on a Rainy Day Dawn Isaac / E-book Adobe ePub DRM
common.buy 4.35 €
Stiff Mary Roach / Boek Gebonden (harde band)
common.buy 23.20 €
Arrested by the Holy Ghost Dr Michael D Perry / Boek Gebonden (paperback)
common.buy 24.62 €
Reflector ... a Poem. by a Traveller. [chiefly a Satire on the Dean of Ripon.] Anonymous / Boek Gebonden (paperback)
common.buy 14.18 €
Wordt verwacht
America Arthur B. Shostak / Boek Gebonden (harde band)
common.buy 39.82 €
Shambhala Guide to Traditional Chinese Medicine Daniel Reid / Boek Gebonden (paperback)
common.buy 21.17 €
Long Way Home Audrey Howard / Boek Gebonden (paperback)
common.buy 8.30 €
Story of a Loaf of Bread Thomas Barlow Wood / E-book Adobe ePub DRM
common.buy 23.20 €

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?