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

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Taal EngelsEngels
E-book Adobe ePub DRM
E-book Integrated Formal Methods Carlo A. Furia
Libristo-code: 41049828
Uitgeverij Springer, augustus 2018
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo... Volledige beschrijving
? points 145 b
60.15 €
Op voorraad Onmiddellijk te downloaden

Dit vind je misschien ook interessant

Through the Looking Glass Richard Idemon / Boek Gebonden (paperback)
common.buy 23.89 €
New Theoretical and Practical French Grammar Charles Jean Delille / Boek Gebonden (harde band)
common.buy 39.29 €
Polygeneration Systems Francesco Calise / Boek Gebonden (paperback)
common.buy 227.88 €
Intercept Gordon Corera / E-book Adobe ePub DRM
common.buy 4.35 €
Genesis Wave Book 1 Tim Russ / Luisterboek MP3
common.buy 15.08 €

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

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 Carlo A. Furia, Kirsten Winter
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2018
EAN 9783319989389
Libristo-code 41049828
Uitgeverij Springer

Categorieën

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 > Computermodellering en -simulatie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

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?