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.

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Approaches to Software Testing Wolfgang Grieskamp
Libristo kód: 01562128
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

First Christmas Children's Book (Portuguese) Nate Books / Kniha Brožovaná
common.buy 249 Kč
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Kniha Pevná
common.buy 331 Kč
Resume de l'Anthropologie de la Tunisie Bertholon-L / Kniha Brožovaná
common.buy 315 Kč
Pimpa - Pimpa y su gemela Pimpa Altan / E-kniha Adobe ePub DRM
common.buy 145 Kč
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Kniha Brožovaná
common.buy 178 Kč
Praca dyplomowa i doktorska Gambarelli Gianfranco / Kniha Brožovaná
common.buy 350 Kč
Love Monster. Potworek szuka miłości Bright Rachel / Kniha Pevná
common.buy 217 Kč
Brasilien Stefan Zweig / Kniha Pevná
common.buy 473 Kč
ricordo che non avevo Alberto Melis / Kniha Brožovaná
common.buy 468 Kč
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Kniha Brožovaná
common.buy 2 150 Kč
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Kniha Brožovaná
common.buy 726 Kč
First Impressions A guide to drawing materials / Video DVD
common.buy 110 Kč
Journal d'un chat assassin (nouvelle édition) Fine / Kniha Pevná
common.buy 276 Kč
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Kniha Brožovaná
common.buy 258 Kč
Industrietourismus in Deutschland Anja Schramm / Kniha Brožovaná
common.buy 1 502 Kč
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Kniha Brožovaná
common.buy 1 722 Kč
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Kniha Brožovaná
common.buy 1 135 Kč
De la maceta a la mesa McTernan / Kniha Brožovaná
common.buy 515 Kč
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Kniha Brožovaná
common.buy 2 308 Kč
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Audiokniha MP3
common.buy 73 Kč
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Kniha Brožovaná
common.buy 1 209 Kč

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

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 Formal Approaches to Software Testing
Autor Wolfgang Grieskamp, Carsten Weise
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 219
EAN 9783540344544
ISBN 3540344543
Libristo kód 01562128
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 750
Rozměry 155 x 235 x 13

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
Výpočetní a informační technologie > Počítačový hardware > Hardware počítačových a informačních technologií: údržba a opravy
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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
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

Hybrid Systems: Computation and Control Rupak Majumdar / Kniha Brožovaná
common.buy 1 182 Kč
Electrocaloric Materials Tatiana Correia / Kniha Pevná
common.buy 2 357 Kč
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Kniha Brožovaná
common.buy 491 Kč
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Kniha Pevná
common.buy 4 183 Kč
Housing, Fuel Poverty and Health HEALY / Kniha Brožovaná
common.buy 1 659 Kč
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Kniha Brožovaná
common.buy 347 Kč
Exposed Shannon M. Deitz / Kniha Brožovaná
common.buy 275 Kč
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Kniha Brožovaná
common.buy 248 Kč
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Kniha Brožovaná
common.buy 215 Kč
Arthur and Friends Mikael Lindnord / Kniha Brožovaná
common.buy 329 Kč
Sophia Christina B O'Doherty / Kniha Brožovaná
common.buy 589 Kč
Achieving Buzzword Compliance DAVID C HAY / Kniha Brožovaná
common.buy 1 107 Kč
Michelin Sri Lanka Road & Tourist Map 803 / Tiskovina Mapa
common.buy 286 Kč
Britain and Germany in the 20th Century Manfred Gortemaker / Kniha Brožovaná
common.buy 4 563 Kč
Gradations in Euclid Henry Green / Kniha Brožovaná
common.buy 772 Kč
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Kniha Brožovaná
common.buy 598 Kč
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Kniha Brožovaná
common.buy 554 Kč
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Kniha Brožovaná
common.buy 191 Kč
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Kniha Pevná
common.buy 3 532 Kč
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Kniha Brožovaná
common.buy 199 Kč
Obsessions of Lord Godfrey Cavanaugh Stephanie Laurens / Audiokniha MP3
common.buy 485 Kč
Top
I Am Not Jessica Chen Ann Liang / Kniha Brožovaná
common.buy 188 Kč
Vulnerable Subjects G.Thomas Couser / Kniha Brožovaná
common.buy 1 166 Kč
Selected Works of George E. Andrews George E Andrews / Kniha Pevná
common.buy 9 347 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?