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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Tests and Proofs

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Tests and Proofs Catherine Dubois
Libristo kód: 01650098
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2009
This book constitutes the refereed proceedings of the Third International Conference on Test and Pro... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme
An American Werewolf in London Scaled Prop Replica Pub Sign 6 cm Papírenské zboží Papírenské zboží
common.buy 3 322 Kč
UEbersicht uber Benchmarking-Pools fur Facility Management in Deutschland und deren Anwendung Siegmund Schönberger / Kniha Brožovaná
common.buy 975 Kč
Angst und Selbsthilfe Manu von Öhsen / Kniha Brožovaná
common.buy 247 Kč
Puzzle 100 Smartkids Inventors 6200-0724 / Hra/Hračka Hra
common.buy 332 Kč
Barracuda - Tome 6 - Délivrance Dufaux Jean / Kniha Pevná
common.buy 513 Kč
Comprendre et soigner l'homme connecté - Manuel de cyberpsychologie Serge Tisseron / Kniha Brožovaná
common.buy 879 Kč
Directors' Dealings in Deutschland Björn M. Dymke / Kniha Brožovaná
common.buy 1 529 Kč
Compendio de gerontogeriatría Leonardo Strejilevich / Kniha Brožovaná
common.buy 1 681 Kč
Fahrnisexekution (f. Österreich) Harald Mini / Kniha Pevná
common.buy 1 127 Kč
Reise nach Peru Wolfgang Bayer / Kniha Brožovaná
common.buy 610 Kč
El gran libro de 3DS Max 2017 MediaActive / Kniha Brožovaná
common.buy 963 Kč
Frühling auf Santorin (Puzzle) / Hra/Hračka Hra
common.buy 361 Kč
Im Sommer, wenn niemand bleibt Andreas Nolte / Kniha Brožovaná
common.buy 237 Kč
Das Ende der Herrschaft? Hubertus Niedermaier / Kniha Brožovaná
common.buy 629 Kč
Explorando El Antiguo Testamento (Grado 9): Discover God's Pattern & Promise & Blessing: Step 9 B. Bright / Kniha Brožovaná
common.buy 137 Kč
20 x klassische Musikstücke für 45 Minuten - Klasse 1/2, m. Audio-CD Monika Strobl / Kniha Brožovaná
common.buy 693 Kč

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.

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 Tests and Proofs
Autor Catherine Dubois
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 169
EAN 9783642029486
ISBN 3642029485
Libristo kód 01650098
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 284
Rozměry 155 x 235 x 11

Kategorie

Výpočetní a informační technologie > Informační technologie: obecná témata > Etické a sociální aspekty IT
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Price and Financial Stability Harrison / Kniha Pevná
common.buy 5 507 Kč
Sideshow: Ten Original Tales of Freaks, Illusionists and Other Matters Odd and Magical Deborah Noyes / Kniha Pevná
common.buy 361 Kč
Communication and Public Participation in Environmental Decision Making Stephen P. Depoe / Kniha Brožovaná
common.buy 924 Kč
The Seven Riddles of Life Fulton J. Sheen / Audio Audio CD
common.buy 347 Kč
Relations of Christian Principle to Mental Culture Stephen Olin / Kniha Pevná
common.buy 685 Kč
EPIC OF LIFE John Clark 1840-1900 Ridpath / Kniha Brožovaná
common.buy 336 Kč
First-in-Family Students, University Experience and Family Life Sarah O'Shea / Kniha Pevná
common.buy 2 765 Kč
Contemporary Ethical Theories Luther J Binkley / Kniha Brožovaná
common.buy 685 Kč
Football: You Can Make The Team! Clary Anderson / Kniha Brožovaná
common.buy 381 Kč
Reform and Productivity Growth in India Maiti / Kniha Brožovaná
common.buy 1 641 Kč
Thunder from Heaven: Storm Birds Brian Kelleher / Kniha Brožovaná
common.buy 455 Kč
Nursing Home Survival Manual Frank Rushton Phd / Kniha Brožovaná
common.buy 444 Kč
The Dead Sea Scrolls Of St. Mark's Monastery V1: The Isaiah Manuscript And Habakkuk Commentary Millar Burrows / Kniha Pevná
common.buy 881 Kč
Truth is one, the sages speak of it by many names Hans Durrer / Kniha Brožovaná
common.buy 369 Kč
Basic Guidance Set 2001 PETERSON S / Kniha Brožovaná
common.buy 223 Kč
Heartbreak Ridge Clint Eastwood / Video Blu-ray
common.buy 361 Kč
Whose Government Is It? Henry Tam / Kniha Pevná
common.buy 2 550 Kč
Teaching ESL/EFL Listening and Speaking Jonathan M. Newton / Kniha Brožovaná
common.buy 1 475 Kč
Ezra Pound's Japan HOUWEN ANDREW / Kniha Pevná
common.buy 3 059 Kč
Fabian_books_Z_119_violent_surrender Cherri Southern / Kniha Brožovaná
common.buy 445 Kč
The Classroom Behavior Manual: How to Build Relationships with Students, Share Control, and Teach Positive Behaviors / Kniha Brožovaná
common.buy 692 Kč
Nightshade's Touch Pippa DaCosta / Audiokniha MP3
common.buy 489 Kč
The Codex Alexandrinus (Royal MS. 1 D. V-VIII) in Reduced Photographic Facsimile; Volume 2 Frederic G. Kenyon / Kniha Pevná
common.buy 794 Kč
On Extinction Ben Ware / E-kniha Adobe ePub DRM
common.buy 341 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?