Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 40195 HUF
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

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01567838

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, július 2008

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Teljes leírás

Libristo kód: 01567838

271 b

40 195 Ft

Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Vom Wesen der Illusion Michael Ackermann

Puha kötésű

3 412 Ft

Lehrbuch der Personalpsychologie einz Schuler

Kemény kötésű

36 810 Ft

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

Puha kötésű

12 751 Ft

Vom Lernen und Lehren Samson Raphael Hirsch

Puha kötésű

10 523 Ft

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

7 883 Ft

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

Blu-ray

18 433 Ft

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

Kemény kötésű

17 680 Ft

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

Puha kötésű

11 014 Ft

Rund um ... - Sekundarstufe I Ute Fenske

Puha kötésű

10 953 Ft

Das Käthchen von Heilbronn Heinrich von Kleist

Puha kötésű

2 940 Ft

Politik in den Massenmedien Udo Michel

Puha kötésű

6 352 Ft

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

Puha kötésű

5 743 Ft

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Kemény kötésű

24 490 Ft

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Puha kötésű

16 626 Ft

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

Puha kötésű

4 199 Ft

Klassische Reitkunst mit Anja Beran Anja Beran

Kemény kötésű

20 483 Ft

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Kemény kötésű

10 523 Ft

Hellsehen Charles W. Leadbeater

Könyv

4 807 Ft

Der Realitätenkellner Werner A. Leeb

Puha kötésű

14 946 Ft

Der Gärtner Rabindranath Tagore

Kemény kötésű

4 260 Ft

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.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Verified Software: Theories, Tools, Experiments

Szerző Bertrand Meyer, Jim Woodcock

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2008

Oldalszám 546

EAN 9783540691471

ISBN 3540691472

Libristo kód 01567838

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly 866

Méretek 155 x 235 x 33

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány > Szoftvertesztelés és verifikáció

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia

Számítástechnika és információtechnológia > Operációs rendszerek

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére