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

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Software Engineering and Formal Methods Gilles Barthe
Libristo-code: 01659065
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Volledige beschrijving
? points 145 b
60.00 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Boek Boek
common.buy 24.04 €
Ako funguje hasičské auto? Lara Bryan / Boek Leporello (harmonicaboek)
common.buy 8.78 €
Jak myšák Felix zachránil Vánoce Alex T. Smith / Boek Gebonden (harde band)
common.buy 14.24 €
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Boek Gebonden (paperback)
common.buy 47.17 €
TENEBRIS Michaela Brnková / Boek Gebonden (paperback)
common.buy 13.83 €
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Boek Gebonden (paperback)
common.buy 2.31 €
PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Boek binding.
common.buy 28.18 €
Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba / Boek Gebonden (paperback)
common.buy 9.99 €
Perros detectores de cadáveres CAT WARREN / Boek Gebonden (harde band)
common.buy 25.96 €
Kirchliche Hochschulen Ulrich Rhode / Boek Gebonden (harde band)
common.buy 49.80 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Boek Boek
common.buy 29.39 €
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Boek Gebonden (harde band)
common.buy 12.72 €
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Boek Gebonden (paperback)
common.buy 80.51 €
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Boek Gebonden (paperback)
common.buy 33.13 €
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Boek Gebonden (paperback)
common.buy 9.18 €
Le Role de la France Au Maroc Romagny-J / Boek Gebonden (paperback)
common.buy 17.37 €

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. §The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

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 Gilles Barthe, Alberto Pardo, Gerardo Schneider
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 504
EAN 9783642246890
ISBN 3642246893
Libristo-code 01659065
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 777
Afmetingen 155 x 235 x 30

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
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 > Computerarchitectuur en logica-ontwerp
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

Dit vind je misschien ook interessant

Modern Theory of Crystal Growth I A.A. Chernov / Boek Gebonden (paperback)
common.buy 102.84 €
The House of Barbary Isabelle Schuler / Boek Gebonden (paperback)
common.buy 17.06 €
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Boek Gebonden (paperback)
common.buy 10.30 €
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Boek Gebonden (paperback)
common.buy 15.04 €
Business Model Innovation DANIELA ANDREINI / Boek Gebonden (paperback)
common.buy 123.35 €
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Boek Gebonden (paperback)
common.buy 9.39 €
Briana's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.67 €
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Boek Gebonden (harde band)
common.buy 28.89 €
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Boek Gebonden (harde band)
common.buy 179.32 €
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Boek Gebonden (paperback)
common.buy 3.02 €
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Boek Gebonden (paperback)
common.buy 19.29 €
Positive School Leadership Joseph F. Murphy / Boek Gebonden (paperback)
common.buy 45.96 €
Janus Conspiracy MICHAEL DAVIES / Boek Gebonden (paperback)
common.buy 22.22 €
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Boek Gebonden (harde band)
common.buy 42.63 €
Loud House #10 The Loud House Creative Team / Boek Gebonden (harde band)
common.buy 12.52 €
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Boek Gebonden (harde band)
common.buy 20.20 €
New Names for Lost Things Noor Unnahar / Boek Gebonden (paperback)
common.buy 11.51 €
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Boek Gebonden (paperback)
common.buy 15.45 €
Tapestry of the Law E. Attwooll / Boek Gebonden (paperback)
common.buy 102.84 €
Glorious Revolution John Miller / Boek Gebonden (paperback)
common.buy 59.60 €
Poirot Investigates Agatha Christie / Boek Gebonden (harde band)
common.buy 14.84 €
Wordt verwacht
Dispute Settlement Reports 1998: Volume 2, Pages 233-696 World Trade Organization / Boek Gebonden (harde band)
common.buy 203.57 €
Making of an Industrial Society David Levine / Boek Gebonden (harde band)
common.buy 300.66 €
Collected Works of Michal Kalecki: Volume VI: Studies in Applied Economics 1927-1941 Michal Kalecki / Boek Gebonden (harde band)
common.buy 357.24 €

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?