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.

Software Verification and Analysis

An Integrated, Hands-On Approach

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Software Verification and Analysis Janusz Laski
Libristo kód: 01434146
Nakladatelství Springer London Ltd, březen 2009
This book addresses the most important techniques in improving the correctness of software, includin... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

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

Zákazníci také koupili

El cuco de cristal Javier Castillo / Kniha Brožovaná
common.buy 298 Kč
Atlantida - Elita v hledání nesmrtelnosti Anastasia Novych / Kniha Pevná
common.buy 309 Kč
Top
Pil C: Odsúdení na úspech Pil C Kniha binding.
common.buy 326 Kč
Tajemství císařovy milenky Naďa Horáková / Kniha Pevná
common.buy 255 Kč
Studio Danse - tome 03 CRIP+BEKA / Kniha Pevná
common.buy 399 Kč
El Día de Los Caídos / Kniha Pevná
common.buy 522 Kč
BABADADA, shqipe - slovensčina, fjalor me ilustrime - Slikovni slovar Babadada Gmbh / Kniha Brožovaná
common.buy 651 Kč
Mi lucha por la fe y la libertad Sabatina James / Kniha Brožovaná
common.buy 403 Kč
PIC, PIC, PIC Le Tigre Manceau Edouard / Kniha Brožovaná
common.buy 233 Kč
Pierre et Jean Guy de Maupassant / Kniha Pevná
common.buy 409 Kč
Schopenhauers Aphorismen Zur Lebensweisheit Arthur Schopenhauer / Kniha Brožovaná
common.buy 610 Kč

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).§Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification.§Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD s handling of the concepts is illustrated.§Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.

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 Software Verification and Analysis
Autor Janusz Laski, William Stanley
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2009
Počet stran 234
EAN 9781848822399
ISBN 1848822391
Libristo kód 01434146
Nakladatelství Springer London Ltd
Váha 510
Rozměry 164 x 242 x 21

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Informatika
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

Cook's Handbook for London. with Two Maps. Thomas Cook / Kniha Brožovaná
common.buy 388 Kč
Introduction to Legal and Ethical Issues in Sport Marissa W. Pollick / Kniha Pevná
common.buy 2 943 Kč
Sandwich: A Simple Sandwich Cookbook with Delicious Sandwich Recipes (2nd Edition) Booksumo Press / Kniha Brožovaná
common.buy 241 Kč
The Garden Journal of the New York Botanical Garden, V9, No. 3, May-June, 1959 New York Botanical Garden / Kniha Brožovaná
common.buy 489 Kč
The Perfume-Holder: A Persian Love Poem (1891) Craven Langstroth Betts / Kniha Pevná
common.buy 772 Kč
Success Vitamins for a Positive Mind Napoleon Hill / Kniha Brožovaná
common.buy 274 Kč
Dead Years Joseph Schupack / Kniha Brožovaná
common.buy 402 Kč
A Study in Scarlet Arthur Conan Doyle / Kniha Brožovaná
common.buy 227 Kč
Top
I Love Dad with the Very Hungry Caterpillar Eric Carle / Kniha Pevná
common.buy 161 Kč
The Praying Church Handbook: 4-Volume Set P. Douglas Small / Kniha Pevná
common.buy 2 003 Kč
My Name is This, Not That J.A. Clark / Kniha Pevná
common.buy 609 Kč
Equality Darrin McMahon / Kniha Pevná
common.buy 833 Kč
Gospel, Church, and Ministry Thomas F. Torrance / Kniha Pevná
common.buy 1 151 Kč
Violence and Islam Adonis / Kniha Pevná
common.buy 235 Kč
Charles Peirce's Empiricism Justus Buchler / Kniha Pevná
common.buy 7 834 Kč
Antarctica: Land of the Penguins Jonathan Scott / Kniha Brožovaná
common.buy 264 Kč
Solar Based Hydrogen Production Systems Ibrahim Dincer / Kniha Brožovaná
common.buy 1 350 Kč
Goal-Directed Proof Theory Dov M. Gabbay / Kniha Pevná
common.buy 2 646 Kč
Brand Equity and Brand Value Michael Burger / Kniha Brožovaná
common.buy 208 Kč
Real Numbers John Stillwell / Kniha Pevná
common.buy 925 Kč
Rethinking Insecurity, War and Violence Damian Grenfell / Kniha Pevná
common.buy 5 435 Kč
Threshold 1990 Jan Ate van Ek / Kniha Brožovaná
common.buy 1 327 Kč
Boy Who Lost His Face Louis Sachar / Kniha Brožovaná
common.buy 183 Kč
Chasing the American Dream William M. Rohe / Kniha Brožovaná
common.buy 1 166 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?