Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

Limba englezăengleză
Carte Carte broșată
Carte Verified Software: Theories, Tools, Experiments Bertrand Meyer
Codul Libristo: 01567838
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2008
This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Descrierea completă
? points 263 b
568.89 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Vom Wesen der Illusion Michael Ackermann / Carte Carte broșată
common.buy 48.24 lei
Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann / Carte Carte broșată
common.buy 81.41 lei
BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh / Carte Carte broșată
common.buy 156.07 lei
Them's Fightin' Herds, 1 PS4-Blu-ray Disc / Videoclip Blu-ray
common.buy 268.89 lei
Baby to Go, 1 Blu-ray Sophie Barthes / Videoclip Blu-ray
common.buy 115.00 lei
Vom Lernen und Lehren Samson Raphael Hirsch / Carte Carte broșată
common.buy 148.58 lei
tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy / Carte Carte broșată
common.buy 284.49 lei
Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ / Carte Carte broșată
common.buy 242.69 lei
Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant / Carte Carte broșată
common.buy 61.44 lei
Lehrbuch der Personalpsychologie einz Schuler / Carte Copertă tare
common.buy 520.53 lei
Der Gärtner Rabindranath Tagore / Carte Copertă tare
common.buy 59.99 lei
Der Realitätenkellner Werner A. Leeb / Carte Carte broșată
common.buy 204.21 lei
Hellsehen Charles W. Leadbeater / Carte Carte
common.buy 70.18 lei
Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel / Carte Copertă tare
common.buy 148.58 lei
Klassische Reitkunst mit Anja Beran Anja Beran / Carte Copertă tare
common.buy 279.81 lei
Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner / Carte Copertă tare
common.buy 357.28 lei
Politik in den Massenmedien Udo Michel / Carte Carte broșată
common.buy 89.62 lei
Das Käthchen von Heilbronn Heinrich von Kleist / Carte Carte broșată
common.buy 42.83 lei
Rund um ... - Sekundarstufe I Ute Fenske / Carte Carte broșată
common.buy 155.24 lei
Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder / Carte Copertă tare
common.buy 257.87 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verified Software: Theories, Tools, Experiments
Autor Bertrand Meyer, Jim Woodcock
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 546
EAN 9783540691471
ISBN 3540691472
Codul Libristo 01567838
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 866
Dimensiuni 155 x 235 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Handbook of Digital Homecare Kanagasingam Yogesan / Carte Copertă tare
common.buy 920.25 lei
Calving Straps and Zombie Cats Anthony Bennett / Carte Carte broșată
common.buy 92.43 lei
List of Carthusians, 1800 to 1879 England) Charterhouse School (Godalming / Carte Copertă tare
common.buy 189.45 lei
Legends Of Ma-Ui, A Demi God Of Polynesia And Of His Mother Hina W. D. Westervelt / Carte Carte broșată
common.buy 152.85 lei
Gospel Way of Escaping the Doleful State of the Damned Samuel Moodey / Carte Carte broșată
common.buy 99.19 lei
Buddhist Hagiography in Early Japan Jonathan Morris Augustine / Carte Carte broșată
common.buy 366.12 lei
Curând
Adolescent Psychiatry, V. 21 Lois T. Flaherty / Carte Copertă tare
common.buy 538.32 lei
Masterclass: Graphic Design Merel Kokhuis / Carte Carte broșată
common.buy 173.02 lei
Top
Leading Alex Ferguson / Carte Carte broșată
common.buy 79.22 lei
Top
Emperor of Thorns Mark Lawrence / Carte Carte broșată
common.buy 54.58 lei
Galaxy Wars Chronicles the Complete Edition: Galaxy Wars Jonathan Patrick Riccardi / Carte Carte broșată
common.buy 96.59 lei
Australia and Her Gold Regions R G Jameson / Carte Copertă tare
common.buy 196.21 lei
Private equity investments from the investor's and the issuing companies' point of view Anne-Kristin Rademacher / Carte Carte broșată
common.buy 139.02 lei
100 Quotes by Pierre Corneille Corneille / Audiobook MP3
common.buy 20.79 lei
Sources of Social Power: Volume 1, A History of Power from the Beginning to AD 1760 Michael Mann / Carte Carte broșată
common.buy 280.02 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?