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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Software Engineering and Formal Methods Dimitra Giannakopoulou
Libristo-code: 05147842
Uitgeverij Springer International Publishing AG, juli 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Volledige beschrijving
? points 141 b
58.52 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Percepción de la calidad del servicio universitario: una aproximación Evelyn Ruth Poitevin / Boek Gebonden (paperback)
common.buy 50.92 €
Spor Anatomisi N. simsek Cankur / Boek Gebonden (paperback)
common.buy 16.19 €
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Boek Gebonden (paperback)
common.buy 29.66 €
Modelo Terapéutico de Nutrición Funcional en la Obesidad Edwin Enrique Martínez Leo / Boek Gebonden (paperback)
common.buy 47.89 €
Dykare / Boek Gebonden (harde band)
common.buy 29.86 €
Le Talmud de Jerusalem, Volumes 4-5... Moise Schwab / Boek Gebonden (paperback)
common.buy 32.60 €
Totalement jumelles - numéro 9 Devine qui vient danser ? Ashley Olsen / Boek Gebonden (paperback)
common.buy 7.99 €
Pokémon go: la parola pi? cliccata nel web. Anarchia e gioco Riccardo Fenizia / Boek Gebonden (paperback)
common.buy 6.77 €
Wildpflanzen in der Ernährung der Grundbevölkerung Melanesiens Barbara Treide / Boek Gebonden (harde band)
common.buy 171.93 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

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 Software Engineering and Formal Methods
Auteur Dimitra Giannakopoulou, Gwen Salaün
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 394
EAN 9783319104300
ISBN 3319104306
Libristo-code 05147842
Uitgeverij Springer International Publishing AG
Gewicht 6263
Afmetingen 155 x 235 x 235

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
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

Dynamical Oceanography Henk A. Dijkstra / Boek Gebonden (paperback)
common.buy 58.52 €
TOP
Inside Florence Alessandro Moggi / Boek Gebonden (harde band)
common.buy 52.54 €
CHASM MCEWAN STACEY / Boek Gebonden (paperback)
common.buy 15.08 €
Christopher's Blade Scare Street / Boek Gebonden (paperback)
common.buy 14.88 €
TOP
Landscape Don McCullin / Boek Gebonden (harde band)
common.buy 54.77 €
I Want To Sleep: Why we struggle to sleep - How we can remedy it. MR Marios Savva / Boek Gebonden (paperback)
common.buy 6.77 €
Positive Psychology in Sport and Physical Activity Abbe Brady / Boek Gebonden (harde band)
common.buy 216.29 €
Handbook of Chinese Cultural Terms Dr Frances Weightman Weightman / Boek Gebonden (paperback)
common.buy 16.70 €
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Boek Gebonden (harde band)
common.buy 273.70 €
Wordt verwacht
US Marine Corps Handbook 1941-45 George Forty / Boek Gebonden (harde band)
common.buy 26.52 €
Wordt verwacht
Pop Revolution Alex Goldfarb Marquis / Boek Gebonden (paperback)
common.buy 16.09 €
Martyrdom and Literature in Early Modern England Susannah Brietz Monta / Boek Gebonden (harde band)
common.buy 120.59 €
Metronomic Chemotherapy, 1 Guido Bocci / Boek Gebonden (harde band)
common.buy 115.83 €
River Channel Restoration - Guiding Principles for Sustainable Projects Andrew Brookes / Boek Gebonden (harde band)
common.buy 339.01 €
Wordt verwacht
X-Men: The Hidden Years Jim Shooter / Boek Gebonden (paperback)
common.buy 6.67 €
Wordt verwacht
Peace and Conflict 2008 J. Joseph Hewitt / Boek Gebonden (paperback)
common.buy 45.05 €
John Stainer Jeremy Dibble / Boek Gebonden (harde band)
common.buy 176.69 €

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?