Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 436.9 PLN
Availability: InStock
Author: Bertrand Meyer
ISBN: 9783540691471

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

Bertrand Meyer

Jim Woodcock

Język

Angielski

Książka Miękka

Kod Libristo: 01567838

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2008

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Cały opis

Kod Libristo: 01567838

249 b

436.90 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Vom Wesen der Illusion Michael Ackermann

Miękka

36.95 zł

Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann

Miękka

62.76 zł

BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh

Miękka

120.21 zł

Them's Fightin' Herds, 1 PS4-Blu-ray Disc

Blu-ray

217.74 zł

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

93.10 zł

Vom Lernen und Lehren Samson Raphael Hirsch

Miękka

113.59 zł

tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy

Miękka

218.24 zł

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Miękka

196.55 zł

Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant

Miękka

49.81 zł

Lehrbuch der Personalpsychologie einz Schuler

Twarda

399.33 zł

Der Gärtner Rabindranath Tagore

Twarda

45.89 zł

Der Realitätenkellner Werner A. Leeb

Miękka

156.57 zł

Hellsehen Charles W. Leadbeater

Książka

56.84 zł

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Twarda

113.59 zł

Klassische Reitkunst mit Anja Beran Anja Beran

Twarda

213.32 zł

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Twarda

289.25 zł

Politik in den Massenmedien Udo Michel

Miękka

68.69 zł

Das Käthchen von Heilbronn Heinrich von Kleist

Miękka

34.74 zł

Rund um ... - Sekundarstufe I Ute Fenske

Miękka

119.71 zł

Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder

Twarda

208.80 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verified Software: Theories, Tools, Experiments

Autor Bertrand Meyer, Jim Woodcock

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2008

Liczba stron 546

EAN 9783540691471

ISBN 3540691472

Kod Libristo 01567838

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 866

Wymiary 155 x 235 x 33

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Informatyka i technologie informacyjne (IT) > Systemy operacyjne