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.

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 136 b
1 355 Kč
Skladem u dodavatele Odesíláme za 10-16 dnů

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

Zákazníci také koupili

BABADADA, shqipe - slovensčina, fjalor me ilustrime - Slikovni slovar Babadada Gmbh / Kniha Brožovaná
common.buy 651 Kč
Der Revers im Seefrachtgeschäft Savin Gushterov / Kniha Pevná
common.buy 1 331 Kč
El cuco de cristal Javier Castillo / Kniha Brožovaná
common.buy 296 Kč
Pil C: Odsúdení na úspech Pil C Audio Audio CD
common.buy 361 Kč
Atlantida - Elita v hledání nesmrtelnosti Anastasia Novych / Kniha Pevná
common.buy 328 Kč
Schopenhauers Aphorismen Zur Lebensweisheit Arthur Schopenhauer / Kniha Brožovaná
common.buy 610 Kč
Tajemství císařovy milenky Naďa Horáková / Kniha Pevná
common.buy 268 Kč
Studio Danse - tome 03 CRIP+BEKA / Kniha Pevná
common.buy 374 Kč
Pierre et Jean Guy de Maupassant / Kniha Pevná
common.buy 408 Kč
El Día de Los Caídos / Kniha Pevná
common.buy 521 Kč
Zápisník Flip L tečkovaný modro/bílý / Papírenské zboží Papírenské zboží
common.buy 344 Kč
Mi lucha por la fe y la libertad Sabatina James / Kniha Brožovaná
common.buy 443 Kč
PIC, PIC, PIC Le Tigre Manceau Edouard / Kniha Brožovaná
common.buy 208 Kč
Raubtier Mensch Lowknox / Audio Audio CD
common.buy 482 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

Retribution of Soul Rebecca M. Senese / Kniha Brožovaná
common.buy 358 Kč
Violence and Islam Adonis / Kniha Pevná
common.buy 239 Kč
Gospel, Church, and Ministry Thomas F. Torrance / Kniha Pevná
common.buy 1 109 Kč
Scotland's Wildlife: Picturing Scotland Laurie Campbell / Kniha Pevná
common.buy 151 Kč
The Praying Church Handbook: 4-Volume Set P. Douglas Small / Kniha Pevná
common.buy 2 003 Kč
I Love Dad with the Very Hungry Caterpillar Eric Carle / Kniha Pevná
common.buy 161 Kč
Dare To Be A Difference Maker 7 Michelle Prince / Kniha Brožovaná
common.buy 358 Kč
A Study in Scarlet Arthur Conan Doyle / Kniha Brožovaná
common.buy 233 Kč
Dead Years Joseph Schupack / Kniha Brožovaná
common.buy 402 Kč
Solar Based Hydrogen Production Systems Ibrahim Dincer / Kniha Brožovaná
common.buy 1 181 Kč
Success Vitamins for a Positive Mind Napoleon Hill / Kniha Brožovaná
common.buy 274 Kč
The Perfume-Holder: A Persian Love Poem (1891) Craven Langstroth Betts / Kniha Pevná
common.buy 772 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 502 Kč
Sandwich: A Simple Sandwich Cookbook with Delicious Sandwich Recipes (2nd Edition) Booksumo Press / Kniha Brožovaná
common.buy 241 Kč
HBR's 10 Must Reads on Talent (with bonus article &quote;Building a Game-Changing Talent Strategy&quote; by Douglas A. Ready, Linda A. Hill, and Rober Harvard Business Review / E-kniha Adobe ePub DRM
common.buy 669 Kč
Introduction to Legal and Ethical Issues in Sport Marissa W. Pollick / Kniha Pevná
common.buy 2 924 Kč
My Name is This, Not That J.A. Clark / Kniha Pevná
common.buy 609 Kč
Equality Darrin McMahon / Kniha Pevná
common.buy 832 Kč
Boy Who Lost His Face Louis Sachar / Kniha Brožovaná
common.buy 213 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č
Cook's Handbook for London. with Two Maps. Thomas Cook / Kniha Brožovaná
common.buy 388 Kč
Antarctica: Land of the Penguins Jonathan Scott / Kniha Brožovaná
common.buy 264 Kč
Threshold 1990 Jan Ate van Ek / Kniha Brožovaná
common.buy 1 262 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?