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.

Formal Methods and Software Engineering

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods and Software Engineering Jin Song Dong
Libristo-code: 01656973
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2010
This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Volledige beschrijving
? points 280 b
115.59 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Le Mont-Saint-Michel -Neerlandais- Henry Decaens / Boek Gebonden (paperback)
common.buy 12.52 €
Andre Cornelis M Paul Bourget / Boek Gebonden (paperback)
common.buy 12.62 €
LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ / Boek Boek
common.buy 53.75 €
Encrucijada Rodolfo Martinez / E-book Adobe ePub DRM
common.buy 3.83 €
Moja kaligrafia Cyferki Dorota Krassowska / Boek Gebonden (paperback)
common.buy 1.61 €
Wordt verwacht
Moluk Bilibo Balance- und Spielschale lila / Spel/speelgoed Speelgoed
common.buy 35.76 €
Wild Julia Ruby Hildebrand / Boek Gebonden (harde band)
common.buy 21.62 €
Bilder des Kaisers von Deutschland Bernd Schubert / Boek Gebonden (paperback)
common.buy 71.13 €
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Boek Gebonden (paperback)
common.buy 28.28 €
Heidejagd Angela L. Forster / Boek Gebonden (paperback)
common.buy 11.91 €
Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner / Boek Gebonden (paperback)
common.buy 12.62 €
AutoCAD Fur Die Haustechnik Olaf Schymura / Boek Gebonden (paperback)
common.buy 51.83 €
Dinosaury / Boek Leporello (harmonicaboek)
common.buy 9.39 €
Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA / Boek Boek
common.buy 57.08 €
Filosofía de la ciencia HERCE FERNANDEZ / Boek Gebonden (paperback)
common.buy 15.15 €
Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald / Boek Gebonden (paperback)
common.buy 38.29 €
Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume / Boek Gebonden (paperback)
common.buy 13.13 €
Sol rojo sobre Hiroshima Mario Escobar Golderos / Boek Gebonden (paperback)
common.buy 27.98 €

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

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 Formal Methods and Software Engineering
Auteur Jin Song Dong, Huibiao Zhu
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 712
EAN 9783642169007
ISBN 3642169007
Libristo-code 01656973
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1024
Afmetingen 158 x 242 x 28

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
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 > Besturingssystemen
Informatica en informatietechnologie > Informatica
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

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose / Boek Gebonden (paperback)
common.buy 51.63 €
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Boek Gebonden (paperback)
common.buy 51.63 €
TOP
Inspired by Nature Hans Blomquist / Boek Gebonden (harde band)
common.buy 23.23 €
Acrylics Adrian Burrows / Boek Gebonden (paperback)
common.buy 11.51 €
Acropolis STANISLA WYSPIANSKI / Boek Boek
common.buy 29.70 €
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Boek Gebonden (paperback)
common.buy 16.87 €
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Boek Gebonden (paperback)
common.buy 14.84 €
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Boek Gebonden (paperback)
common.buy 17.78 €
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Boek Gebonden (harde band)
common.buy 33.54 €
Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly / Boek Gebonden (paperback)
common.buy 38.90 €
New Sogang Korean 1A Workbook Song-hee Kim / Boek Gebonden (paperback)
common.buy 17.98 €
George II Andrew C Thompson / Boek Gebonden (paperback)
common.buy 25.05 €
What Labs Love Ed Camelli / Boek Gebonden (harde band)
common.buy 22.32 €
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.67 €
Ike the Eskimo Daniel Roberts / Boek Gebonden (paperback)
common.buy 12.92 €
Death at the Member-Guest James Y. Bartlett / Boek Gebonden (paperback)
common.buy 20.30 €
Unintended Consequences Stuart Woods / Boek Gebonden (paperback)
common.buy 14.84 €
Paw Patrol: Jet to the Rescue / Video Dvd
common.buy 7.57 €
Let's Talk About: Sharing the Gospel Robert Bowen / E-book Adobe ePub DRM
common.buy 4.44 €
Sports Coaching Cultures Kathleen M. Armour / E-book Adobe ePub DRM
common.buy 83.96 €
Wordt verwacht
Clinical Oncology Venkata Koyyala / Boek Gebonden (paperback)
common.buy 37.78 €
Practical Python Security Dennis Byrne / Boek Gebonden (paperback)
common.buy 63.96 €
TOP
Less is More Jason Hickel / Boek Gebonden (paperback)
common.buy 10.40 €
TOP
Avatar: The Last Airbender - The Search Omnibus Gene Luen Yang / Boek Gebonden (paperback)
common.buy 19.39 €

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