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.

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verified Software: Theories, Tools, Experiments Bertrand Meyer
Libristo-code: 01567838
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2008
This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Volledige beschrijving
? points 249 b
102.90 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Politik in den Massenmedien Udo Michel / Boek Gebonden (paperback)
common.buy 16.17 €
Honey Lemon Soda T13 / Boek Gebonden (paperback)
common.buy 10.71 €
Vom Wesen der Illusion Michael Ackermann / Boek Gebonden (paperback)
common.buy 8.68 €
tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy / Boek Gebonden (paperback)
common.buy 35.47 €
Vom Lernen und Lehren Samson Raphael Hirsch / Boek Gebonden (paperback)
common.buy 26.78 €
Lehrbuch der Personalpsychologie einz Schuler / Boek Gebonden (harde band)
common.buy 94.01 €
Baby to Go, 1 Blu-ray Sophie Barthes / Video Blu-ray
common.buy 22.94 €
Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder / Boek Gebonden (harde band)
common.buy 51.35 €
Them's Fightin' Herds, 1 PS4-Blu-ray Disc / Video Blu-ray
common.buy 53.37 €
Exactitudes Noailles / Boek Gebonden (paperback)
common.buy 25.06 €
Rund um ... - Sekundarstufe I Ute Fenske / Boek Gebonden (paperback)
common.buy 28.20 €
Das Käthchen von Heilbronn Heinrich von Kleist / Boek Gebonden (paperback)
common.buy 8.48 €
BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh / Boek Gebonden (paperback)
common.buy 28.30 €
Der Gärtner Rabindranath Tagore / Boek Gebonden (harde band)
common.buy 13.44 €
Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner / Boek Gebonden (harde band)
common.buy 71.67 €
Klassische Reitkunst mit Anja Beran Anja Beran / Boek Gebonden (harde band)
common.buy 60.14 €
Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann / Boek Gebonden (paperback)
common.buy 14.75 €
Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel / Boek Gebonden (harde band)
common.buy 26.78 €
Hellsehen Charles W. Leadbeater / Boek Boek
common.buy 14.04 €
Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ / Boek Gebonden (paperback)
common.buy 42.05 €
Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant / Boek Gebonden (paperback)
common.buy 11.51 €
Wordt verwacht
Der Realitätenkellner Werner A. Leeb / Boek Gebonden (paperback)
common.buy 36.89 €

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software.§The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

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 Verified Software: Theories, Tools, Experiments
Auteur Bertrand Meyer, Jim Woodcock
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 546
EAN 9783540691471
ISBN 3540691472
Libristo-code 01567838
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 866
Afmetingen 155 x 235 x 33

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
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

Handbook of Digital Homecare Kanagasingam Yogesan / Boek Gebonden (harde band)
common.buy 183.38 €
Calving Straps and Zombie Cats Anthony Bennett / Boek Gebonden (paperback)
common.buy 14.24 €
Masterclass: Graphic Design Merel Kokhuis / Boek Gebonden (paperback)
common.buy 31.73 €
Wordt verwacht
Adolescent Psychiatry, V. 21 Lois T. Flaherty / Boek Gebonden (harde band)
common.buy 102.60 €
Buddhist Hagiography in Early Japan Jonathan Morris Augustine / Boek Gebonden (paperback)
common.buy 66.81 €
Gospel Way of Escaping the Doleful State of the Damned Samuel Moodey / Boek Gebonden (paperback)
common.buy 17.78 €
Legends Of Ma-Ui, A Demi God Of Polynesia And Of His Mother Hina W. D. Westervelt / Boek Gebonden (paperback)
common.buy 27.79 €
List of Carthusians, 1800 to 1879 England) Charterhouse School (Godalming / Boek Gebonden (harde band)
common.buy 34.46 €
Galaxy Wars Chronicles the Complete Edition: Galaxy Wars Jonathan Patrick Riccardi / Boek Gebonden (paperback)
common.buy 17.48 €
To The Principal Shankar Musafir / Boek Gebonden (paperback)
common.buy 8.79 €
Gracie Youngblood Sharon Revell / Boek Gebonden (paperback)
common.buy 11.21 €
History, Experience and Cultural Studies Michael Pickering / Boek Gebonden (paperback)
common.buy 62.47 €
Australia and Her Gold Regions R G Jameson / Boek Gebonden (harde band)
common.buy 35.47 €
Rising Brian McGilloway / Boek Gebonden (paperback)
common.buy 15.76 €
Freudian Matrix of Andre Green Howard B. Levine / Boek Gebonden (harde band)
common.buy 188.23 €
Cinderella's Garden William Macneile Dixon / Boek Gebonden (harde band)
common.buy 30.72 €
TOP
Emperor of Thorns Mark Lawrence / Boek Gebonden (paperback)
common.buy 9.70 €
Sources of Social Power: Volume 1, A History of Power from the Beginning to AD 1760 Michael Mann / Boek Gebonden (paperback)
common.buy 51.04 €
Dipeptidyl Aminopeptidases in Health and Disease Martin Hildebrandt / Boek Gebonden (harde band)
common.buy 154.26 €
Private equity investments from the investor's and the issuing companies' point of view Anne-Kristin Rademacher / Boek Gebonden (paperback)
common.buy 25.06 €
TOP
Leading Alex Ferguson / Boek Gebonden (paperback)
common.buy 17.07 €

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?