A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
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ó
0
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
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Tests and Proofs

Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Tests and Proofs Catherine Dubois
Libristo kód: 01650098
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2009
This book constitutes the refereed proceedings of the Third International Conference on Test and Pro... Teljes leírás
? points 136 b
20 201 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

El gran libro de 3DS Max 2017 MediaActive / Könyv Puha kötésű
common.buy 14 370 Ft
Fahrnisexekution (f. Österreich) Harald Mini / Könyv Kemény kötésű
common.buy 16 856 Ft
Compendio de gerontogeriatría Leonardo Strejilevich / Könyv Puha kötésű
common.buy 29 067 Ft
Directors' Dealings in Deutschland Björn M. Dymke / Könyv Puha kötésű
common.buy 22 851 Ft
Frühling auf Santorin (Puzzle) / Játék Játék
common.buy 4 996 Ft
Barracuda - Tome 6 - Délivrance Dufaux Jean / Könyv Kemény kötésű
common.buy 8 050 Ft
20 x klassische Musikstücke für 45 Minuten - Klasse 1/2, m. Audio-CD Monika Strobl / Könyv Puha kötésű
common.buy 11 977 Ft
Im Sommer, wenn niemand bleibt Andreas Nolte / Könyv Puha kötésű
common.buy 3 617 Ft
UEbersicht uber Benchmarking-Pools fur Facility Management in Deutschland und deren Anwendung Siegmund Schönberger / Könyv Puha kötésű
common.buy 16 856 Ft
Explorando El Antiguo Testamento (Grado 9): Discover God's Pattern & Promise & Blessing: Step 9 B. Bright / Könyv Puha kötésű
common.buy 2 829 Ft
Angst und Selbsthilfe Manu von Öhsen / Könyv Puha kötésű
common.buy 4 255 Ft
Reise nach Peru Wolfgang Bayer / Könyv Puha kötésű
common.buy 10 546 Ft

This book constitutes the refereed proceedings of the Third International Conference on Test and Proofs, TAP 2009, held in Zurich, Switzerland, in July 2009.§The 10 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 20 submissions. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test data, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic bug finding; formal frameworks; tool descriptions and experience reports; and case studies.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
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 Tests and Proofs
Szerző Catherine Dubois
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2009
Oldalszám 169
EAN 9783642029486
ISBN 3642029485
Libristo kód 01650098
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 284
Méretek 155 x 235 x 11

Kategória

Számítástechnika és információtechnológia > Információtechnológia: általános jellegű > IT etikai és szociális szempontjai
Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
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
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
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 > 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

Ezt is ajánljuk

Basic Guidance Set 2001 PETERSON S / Könyv Puha kötésű
common.buy 3 795 Ft
Communication and Public Participation in Environmental Decision Making Stephen P. Depoe / Könyv Puha kötésű
common.buy 16 856 Ft
Relations of Christian Principle to Mental Culture Stephen Olin / Könyv Kemény kötésű
common.buy 11 545 Ft
EPIC OF LIFE John Clark 1840-1900 Ridpath / Könyv Puha kötésű
common.buy 5 667 Ft
Contemporary Ethical Theories Luther J Binkley / Könyv Puha kötésű
common.buy 11 545 Ft
Football: You Can Make The Team! Clary Anderson / Könyv Puha kötésű
common.buy 6 469 Ft
Reform and Productivity Growth in India Maiti / Könyv Puha kötésű
common.buy 25 943 Ft
Thunder from Heaven: Storm Birds Brian Kelleher / Könyv Puha kötésű
common.buy 7 530 Ft
Nursing Home Survival Manual Frank Rushton Phd / Könyv Puha kötésű
common.buy 7 530 Ft
The Dead Sea Scrolls Of St. Mark's Monastery V1: The Isaiah Manuscript And Habakkuk Commentary Millar Burrows / Könyv Kemény kötésű
common.buy 14 848 Ft
Price and Financial Stability Harrison / Könyv Kemény kötésű
common.buy 81 657 Ft
Truth is one, the sages speak of it by many names Hans Durrer / Könyv Puha kötésű
common.buy 6 366 Ft
Heartbreak Ridge Clint Eastwood / Filmek Blu-ray
common.buy 5 996 Ft
Whose Government Is It? Henry Tam / Könyv Kemény kötésű
common.buy 42 222 Ft
Teaching ESL/EFL Listening and Speaking Jonathan M. Newton / Könyv Puha kötésű
common.buy 24 592 Ft
Ezra Pound's Japan HOUWEN ANDREW / Könyv Kemény kötésű
common.buy 50 699 Ft
Fabian_books_Z_119_violent_surrender Cherri Southern / Könyv Puha kötésű
common.buy 7 497 Ft
The Classroom Behavior Manual: How to Build Relationships with Students, Share Control, and Teach Positive Behaviors / Könyv Puha kötésű
common.buy 11 766 Ft
Nightshade's Touch Pippa DaCosta / Hangoskönyv MP3
common.buy 7 365 Ft
The Codex Alexandrinus (Royal MS. 1 D. V-VIII) in Reduced Photographic Facsimile; Volume 2 Frederic G. Kenyon / Könyv Kemény kötésű
common.buy 13 375 Ft
On Extinction Ben Ware / E-könyv Adobe ePub DRM
common.buy 5 118 Ft
Oral Probiotics: Fighting Tooth Decay, Periodontal Disease and Airway Infections Using Nature's Friendly Bacteria Naturopath Case Adams / E-könyv Adobe ePub DRM
common.buy 3 570 Ft
Stochastic Processes in Physics, Chemistry, and Biology Jan A. Freund / Könyv Kemény kötésű
common.buy 40 284 Ft
Oriental Encounters Palestine and Syria, 1894-6 Marmaduke William Pickthall / Könyv Puha kötésű
common.buy 4 612 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?