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.

Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Software Engineering and Formal Methods Robert Hierons
Libristo-code: 02016931
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Mercedes G-Modell / Boek Boek
common.buy 40.20 €
COUNTRY DANCES JOHN PLAYFORD / Drukwerk Bladmuziek
common.buy 13.76 €
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Boek Gebonden (paperback)
common.buy 54.38 €
Oooh, wie ist das schön! Germán Aczel / Boek Gebonden (harde band)
common.buy 21.16 €
Oldenburg Iris Dahlke / Boek Blad
common.buy 5.16 €
Fachberatung auf dem Weg zur Profession Elke Alsago / Boek Gebonden (paperback)
common.buy 26.63 €
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Boek Boek
common.buy 29.87 €
Mein großes Buch der Tiergeräusche / Boek Gebonden (harde band)
common.buy 15.69 €
Cartas Portuguesas BARATA SILVERIO / Boek Gebonden (paperback)
common.buy 26.53 €
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Boek Gebonden (paperback)
common.buy 15.59 €
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Boek Gebonden (harde band)
common.buy 84.46 €
Alice au pays des merveilles Carroll / Boek Gebonden (paperback)
common.buy 9.21 €
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Boek Blad
common.buy 4.24 €
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Boek Gebonden (paperback)
common.buy 11.33 €
Wanderjahre in Italien Ferdinand Gregorovius / Boek Gebonden (harde band)
common.buy 22.37 €
Le Lai de Lanval Marie de France / Boek Gebonden (paperback)
common.buy 5.76 €
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Boek Gebonden (paperback)
common.buy 14.57 €
L-Architectes Heinz Wirz / Boek Gebonden (paperback)
common.buy 37.97 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Boek Gebonden (paperback)
common.buy 47.29 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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 Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 321
EAN 9783642405600
ISBN 3642405606
Libristo-code 02016931
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 5153
Afmetingen 155 x 235 x 19

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

Fifty Years in the East Dr Farhad Daftary / Boek Gebonden (harde band)
common.buy 77.07 €
Software Engineering Elvis C. Foster / Boek Gebonden (paperback)
common.buy 80.71 €
Wordt verwacht
London's Lord Mayors Emma Hatfield / Boek Gebonden (harde band)
common.buy 22.68 €
Job Mona P. Bias / Boek Gebonden (paperback)
common.buy 24.60 €
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Boek Gebonden (paperback)
common.buy 10.32 €
Magic Molly; The Mirror Maze Trevor Forest / Boek Gebonden (paperback)
common.buy 6.37 €
End Times - What Is It Really About? Michael Joseph Kiser / Boek Gebonden (paperback)
common.buy 16.50 €
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Boek Gebonden (paperback)
common.buy 19.44 €
Fairytale Danielle Steel / Boek Gebonden (paperback)
common.buy 8.40 €
Remembering the Osage Kid Mardi Oakley Medawar / Boek Gebonden (paperback)
common.buy 18.42 €
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Boek Gebonden (paperback)
common.buy 22.47 €
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Boek Gebonden (paperback)
common.buy 32.91 €
Wushu Shaolin Kung Fu: White Belt Sal Redner / Boek Gebonden (paperback)
common.buy 39.29 €
Making of Americans Gertrude Stein / Boek Gebonden (paperback)
common.buy 17.41 €
Wordt verwacht
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Boek Gebonden (paperback)
common.buy 18.83 €
Benefit Sharing Doris Schroeder / Boek Gebonden (harde band)
common.buy 103.10 €
What Works in Corrections Doris Layton MacKenzie / Boek Gebonden (harde band)
common.buy 142.49 €
White House is Burning Jane Sutcliffe / Boek Gebonden (harde band)
common.buy 17.21 €
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Boek Gebonden (paperback)
common.buy 22.27 €
Fortune like the Moon Alys Clare / Boek Gebonden (paperback)
common.buy 12.65 €
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Boek Gebonden (paperback)
common.buy 44.86 €
Appropriation of Native American Spirituality Suzanne Owen / Boek Gebonden (paperback)
common.buy 58.53 €
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Boek Gebonden (paperback)
common.buy 43.44 €
Hyperthermia Fabian Bley / Boek Gebonden (paperback)
common.buy 63.09 €

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?