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.

Model Checking Abstract State Machines

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Abstract State Machines Kirsten Winter
Libristo kód: 06811808
Nakladatelství VDM Verlag Dr. Mueller E.K., květen 2008
The benefits of formal methods have been discussed many timesin the literature. Production costs can... Celý popis
? points 189 b
1 890 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Schweizerdeutsch leicht gemacht - Aufgabenband 2 Verena Schorn / Kniha Brožovaná
common.buy 464 Kč
Chroniques d'une intranquillité Marguerin / Kniha Brožovaná
common.buy 583 Kč
Continuum parodontal et orthodontique : une approche synergique Shilpa Duseja / Kniha Brožovaná
common.buy 1 620 Kč
La Lumière dans les combles Cameron / Kniha Brožovaná
common.buy 569 Kč
La France Sous Louis XV, 1723-1774... Henri Carre / Kniha Brožovaná
common.buy 489 Kč
Die Schlacht Bei Grodek-Lemberg, Juni 1915 (1918) Hermann Muller-Brandenburg / Kniha Brožovaná
common.buy 489 Kč
Acoso Laboral En La Legislacion Venezolana Nohelia Yaneth Alfonzo Villegas / Kniha Brožovaná
common.buy 732 Kč
Erste Englische Lesebuch fur Medizinische Fachangestellte Audiolego / Kniha Brožovaná
common.buy 539 Kč
Les Comptoirs Francais de l'Afrique Orientale Sans Auteur / Kniha Brožovaná
common.buy 315 Kč
Advent im Dorf-Musik zur Weihnachtszeit Ensembles D. Musikkapelle Hatting U. Dem / Audio Audio CD
common.buy 408 Kč

The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors can be detected in an early phase of design. Accidents,involving major damage and even loss of lives, can be avoided ifsystems are working correctly. Nevertheless, the use of formalmethods is limited in practice since the trade-off betweenproductivity and reliability is still too large. This work aims atimproving the applicability of the formal approach. To be ofpractical relevance in the future formal system development mustprovide support for modelling and analysis. Currently, however,there is a discrepancy between tools that are easy to use due toautomation and languages that nicely support the modelling task. Itis necessary to bridge this gap. This work contributes with asolution for a particular formal language and a particular kind oftool support for verification. The title ``Model Checking AbstractState Machines\" summarises the results.

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 Model Checking Abstract State Machines
Autor Kirsten Winter
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 208
EAN 9783639018912
ISBN 3639018915
Libristo kód 06811808
Nakladatelství VDM Verlag Dr. Mueller E.K.
Váha 286
Rozměry 152 x 229 x 11

Kategorie

Technologie, strojírenství, zemědělství > Strojírenství a materiály > Strojírenství
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

Five One-act Plays & MP3 Pack Donn Byrne / Kniha Brožovaná
common.buy 269 Kč
2025 Collins Big Road Atlas Britain and Northern Ireland Collins Maps / Kniha Kroužková
common.buy 522 Kč
Epoxy Resins; Their Applications and Technology Henry 1926- Lee / Kniha Brožovaná
common.buy 554 Kč
Disorders of the Auditory System Frank E. Musiek / Kniha Pevná
common.buy 4 715 Kč
Fundamentals of Electronic Devices and Circuits Ashish Bagwari / Kniha Pevná
common.buy 2 533 Kč
Pearson REVISE Edexcel GCSE (9-1) Citizenship Revision Guide & Workbook Gareth Davies / Kniha Pevná
common.buy 365 Kč
Water for the Phalarope: Explorations in Museum Anthropology Lister Kenneth R. / Kniha Brožovaná
common.buy 444 Kč
Exposition of Certaine Difficult and Obscure Wordes, and Termes of the Lawes of This Realme JOHN RASTELL / Kniha Pevná
common.buy 1 120 Kč
Concerning "Bully" Hayes Louis Becke / Kniha Brožovaná
common.buy 176 Kč
Read Better!: For Adults and Teens Linda Schrock Taylor / Kniha Brožovaná
common.buy 485 Kč
Big Band Standards for Females - Volume 1: Songs by the Divine One "Sassy" (Sarah Vaughan) Sarah Vaughan / Kniha Pevná
common.buy 301 Kč
Legendary Locals of Lowell Richard P. Howe / Kniha Brožovaná
common.buy 474 Kč
Top
Why Nations Fail Daron Acemoglu / Kniha Brožovaná
common.buy 293 Kč
West Coast Trail/Carmanah Valley / Tiskovina Mapa
common.buy 484 Kč
Cells in Ceramics Vicky Goralczyk / Kniha Brožovaná
common.buy 1 419 Kč
Automated Protocol Data Analysis Valentin Shevchenko / Kniha Brožovaná
common.buy 1 209 Kč
Psychosomatic Disorders in General Practice Boris Luban-Plozza / Kniha Brožovaná
common.buy 2 357 Kč
Symbolic Foundations of Conditioned Behavior John Gibbon / Kniha Pevná
common.buy 4 595 Kč
Black Keys Black Keys / Kniha Brožovaná
common.buy 491 Kč
Klaus Badelt KLAUS BADELT / Kniha Brožovaná
common.buy 301 Kč
Fishing the Greenbrier Valley M. W. Smith / Kniha Brožovaná
common.buy 296 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?