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.

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Integrated Formal Methods Nadia Polikarpova
Libristo-code: 16803868
Uitgeverij Springer International Publishing AG, augustus 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Boek Gebonden (paperback)
common.buy 36.86 €
La sagesse divine des animaux Stacey Demarco / Boek Gebonden (harde band)
common.buy 30.98 €
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Boek Gebonden (paperback)
common.buy 20.35 €
Au Bord Du Lac (1852) Emile Souvestre / Boek Gebonden (paperback)
common.buy 29.77 €
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Boek Gebonden (paperback)
common.buy 29.77 €
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Boek Gebonden (paperback)
common.buy 27.44 €
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio cd
common.buy 22.58 €
El silenci de les cases MARIA SANPLA / Boek Gebonden (paperback)
common.buy 15.79 €
Leonardo Martin Kemp / Boek Gebonden (paperback)
common.buy 14.78 €
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Boek Gebonden (paperback)
common.buy 21.06 €
Lumieres Et Romantisme M. Castillo / Boek Gebonden (paperback)
common.buy 28.75 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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 Integrated Formal Methods
Auteur Nadia Polikarpova, Steve Schneider
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2017
Aantal pagina's 438
EAN 9783319668444
ISBN 3319668447
Libristo-code 16803868
Uitgeverij Springer International Publishing AG
Gewicht 6905
Afmetingen 155 x 235 x 26

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Informatica: algemene onderwerpen
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
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

Creatures of Old Prasad / Luisterboek MP3
common.buy 3.94 €
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Boek Gebonden (paperback)
common.buy 30.78 €
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Boek Gebonden (paperback)
common.buy 242.46 €
The Itsy Bitsy Spider Flowerpot Press / Boek Leporello (harmonicaboek)
common.buy 9.61 €
Illustrated Guide to Chemistry JEFF GRANT / Boek Gebonden (paperback)
common.buy 20.35 €
Taking A Long Look Vivian Gornick / Boek Gebonden (harde band)
common.buy 20.96 €
The Case of The Stolen Case Carl Brookins / Boek Gebonden (paperback)
common.buy 13.87 €
Undying Destiny Jessica Lee / Luisterboek MP3
common.buy 20.04 €
Capybara Zen Helen H. Wu / Boek Gebonden (paperback)
common.buy 6.98 €
Let Me Tell You A Story Rob Parsons / Boek Gebonden (harde band)
common.buy 19.03 €
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Boek Gebonden (harde band)
common.buy 11.54 €
Voordelig
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Drukwerk Speelkaarten
common.buy 35.03 €
TOP
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Boek Gebonden (paperback)
common.buy 14.17 €
Writing for Interaction Linda Newman Lior / Boek Gebonden (paperback)
common.buy 52.05 €
Parenting with Presence Susan Stiffelman / Boek Gebonden (paperback)
common.buy 13.56 €
Real-Life Distance Education Al P. Mizell / Boek Gebonden (harde band)
common.buy 126.39 €
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Boek Gebonden (paperback)
common.buy 30.88 €
British Culture of the Post-War Alastair Davies / Boek Gebonden (paperback)
common.buy 61.77 €
Cloud Computing for Teaching and Learning Lee Chao / Boek Gebonden (harde band)
common.buy 195.16 €
Community Identity Sebastian Kim / Boek Gebonden (paperback)
common.buy 113.93 €
Euro Crash Brendan Brown / Boek Gebonden (harde band)
common.buy 119.81 €
Wordt verwacht
Creating Belfast Don McCloy / Boek Gebonden (paperback)
common.buy 22.68 €
Wonder Island Boys Roger Thompson Finlay / Boek Gebonden (paperback)
common.buy 16.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?