Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Software: Theories, Tools, Experiments Bertrand Meyer
Libristo kód: 01567838
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2008
This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Vom Wesen der Illusion Michael Ackermann / Kniha Brožovaná
common.buy 198 Kč
Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann / Kniha Brožovaná
common.buy 339 Kč
BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh / Kniha Brožovaná
common.buy 651 Kč
Them's Fightin' Herds, 1 PS4-Blu-ray Disc / Video Blu-ray
common.buy 1 242 Kč
Baby to Go, 1 Blu-ray Sophie Barthes / Video Blu-ray
common.buy 531 Kč
Vom Lernen und Lehren Samson Raphael Hirsch / Kniha Brožovaná
common.buy 610 Kč
tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy / Kniha Brožovaná
common.buy 859 Kč
Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ / Kniha Brožovaná
common.buy 1 121 Kč
Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant / Kniha Brožovaná
common.buy 284 Kč
Lehrbuch der Personalpsychologie einz Schuler / Kniha Pevná
common.buy 2 152 Kč
Der Gärtner Rabindranath Tagore / Kniha Pevná
common.buy 247 Kč
Der Realitätenkellner Werner A. Leeb / Kniha Brožovaná
common.buy 844 Kč
Hellsehen Charles W. Leadbeater / Kniha Kniha
common.buy 324 Kč
Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel / Kniha Pevná
common.buy 610 Kč
Klassische Reitkunst mit Anja Beran Anja Beran / Kniha Pevná
common.buy 1 141 Kč
Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner / Kniha Pevná
common.buy 1 650 Kč
Politik in den Massenmedien Udo Michel / Kniha Brožovaná
common.buy 369 Kč
Das Käthchen von Heilbronn Heinrich von Kleist / Kniha Brožovaná
common.buy 198 Kč
Rund um ... - Sekundarstufe I Ute Fenske / Kniha Brožovaná
common.buy 649 Kč
Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder / Kniha Pevná
common.buy 1 191 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verified Software: Theories, Tools, Experiments
Autor Bertrand Meyer, Jim Woodcock
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 546
EAN 9783540691471
ISBN 3540691472
Libristo kód 01567838
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 866
Rozměry 155 x 235 x 33

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Handbook of Digital Homecare Kanagasingam Yogesan / Kniha Pevná
common.buy 4 059 Kč
Calving Straps and Zombie Cats Anthony Bennett / Kniha Brožovaná
common.buy 382 Kč
List of Carthusians, 1800 to 1879 England) Charterhouse School (Godalming / Kniha Pevná
common.buy 794 Kč
Legends Of Ma-Ui, A Demi God Of Polynesia And Of His Mother Hina W. D. Westervelt / Kniha Brožovaná
common.buy 641 Kč
Gospel Way of Escaping the Doleful State of the Damned Samuel Moodey / Kniha Brožovaná
common.buy 404 Kč
Buddhist Hagiography in Early Japan Jonathan Morris Augustine / Kniha Brožovaná
common.buy 1 548 Kč
Připravujeme
Adolescent Psychiatry, V. 21 Lois T. Flaherty / Kniha Pevná
common.buy 2 250 Kč
Masterclass: Graphic Design Merel Kokhuis / Kniha Brožovaná
common.buy 715 Kč
Top
Leading Alex Ferguson / Kniha Brožovaná
common.buy 317 Kč
Top
Emperor of Thorns Mark Lawrence / Kniha Brožovaná
common.buy 219 Kč
Galaxy Wars Chronicles the Complete Edition: Galaxy Wars Jonathan Patrick Riccardi / Kniha Brožovaná
common.buy 403 Kč
Australia and Her Gold Regions R G Jameson / Kniha Pevná
common.buy 811 Kč
Private equity investments from the investor's and the issuing companies' point of view Anne-Kristin Rademacher / Kniha Brožovaná
common.buy 571 Kč
100 Quotes by Pierre Corneille Corneille / Audiokniha MP3
common.buy 96 Kč
Sources of Social Power: Volume 1, A History of Power from the Beginning to AD 1760 Michael Mann / Kniha Brožovaná
common.buy 1 121 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?