Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking Abstract State Machines

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Abstract State Machines Kirsten Winter
Codul Libristo: 06811808
Editura VDM Verlag Dr. Mueller E.K., mai 2008
The benefits of formal methods have been discussed many timesin the literature. Production costs can... Descrierea completă
? points 208 b
451.17 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Schweizerdeutsch leicht gemacht - Aufgabenband 2 Verena Schorn / Carte Carte broșată
common.buy 109.61 lei
Chroniques d'une intranquillité Marguerin / Carte Carte broșată
common.buy 126.25 lei
Continuum parodontal et orthodontique : une approche synergique Shilpa Duseja / Carte Carte broșată
common.buy 394.59 lei
La Lumière dans les combles Cameron / Carte Carte broșată
common.buy 123.24 lei
La France Sous Louis XV, 1723-1774... Henri Carre / Carte Carte broșată
common.buy 116.69 lei
Die Schlacht Bei Grodek-Lemberg, Juni 1915 (1918) Hermann Muller-Brandenburg / Carte Carte broșată
common.buy 116.69 lei
Acoso Laboral En La Legislacion Venezolana Nohelia Yaneth Alfonzo Villegas / Carte Carte broșată
common.buy 178.26 lei
Erste Englische Lesebuch fur Medizinische Fachangestellte Audiolego / Carte Carte broșată
common.buy 127.09 lei
Les Comptoirs Francais de l'Afrique Orientale Sans Auteur / Carte Carte broșată
common.buy 75.19 lei
Advent im Dorf-Musik zur Weihnachtszeit Ensembles D. Musikkapelle Hatting U. Dem / Audio Audio CD
common.buy 97.24 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking Abstract State Machines
Autor Kirsten Winter
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 208
EAN 9783639018912
ISBN 3639018915
Codul Libristo 06811808
Editura VDM Verlag Dr. Mueller E.K.
Greutatea 286
Dimensiuni 152 x 229 x 11

Categorii

Technology, Engineering, Agriculture > Mechanical engineering & materials > Mechanical engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Five One-act Plays & MP3 Pack Donn Byrne / Carte Carte broșată
common.buy 61.04 lei
2025 Collins Big Road Atlas Britain and Northern Ireland Collins Maps / Carte Cu spiră
common.buy 126.25 lei
Epoxy Resins; Their Applications and Technology Henry 1926- Lee / Carte Carte broșată
common.buy 132.08 lei
Disorders of the Auditory System Frank E. Musiek / Carte Copertă tare
common.buy 1 113.90 lei
Fundamentals of Electronic Devices and Circuits Ashish Bagwari / Carte Copertă tare
common.buy 612.69 lei
Pearson REVISE Edexcel GCSE (9-1) Citizenship Revision Guide & Workbook Gareth Davies / Carte Copertă tare
common.buy 87.04 lei
Water for the Phalarope: Explorations in Museum Anthropology Lister Kenneth R. / Carte Carte broșată
common.buy 106.29 lei
Exposition of Certaine Difficult and Obscure Wordes, and Termes of the Lawes of This Realme JOHN RASTELL / Carte Copertă tare
common.buy 267.29 lei
Concerning "Bully" Hayes Louis Becke / Carte Carte broșată
common.buy 42.22 lei
Read Better!: For Adults and Teens Linda Schrock Taylor / Carte Carte broșată
common.buy 116.48 lei
Big Band Standards for Females - Volume 1: Songs by the Divine One "Sassy" (Sarah Vaughan) Sarah Vaughan / Carte Copertă tare
common.buy 69.26 lei
Legendary Locals of Lowell Richard P. Howe / Carte Carte broșată
common.buy 109.40 lei
Top
Why Nations Fail Daron Acemoglu / Carte Carte broșată
common.buy 73.00 lei
West Coast Trail/Carmanah Valley / Materiale tipărite Hartă
common.buy 104.83 lei
Cells in Ceramics Vicky Goralczyk / Carte Carte broșată
common.buy 345.71 lei
Automated Protocol Data Analysis Valentin Shevchenko / Carte Carte broșată
common.buy 261.88 lei
Psychosomatic Disorders in General Practice Boris Luban-Plozza / Carte Carte broșată
common.buy 569.01 lei
Symbolic Foundations of Conditioned Behavior John Gibbon / Carte Copertă tare
common.buy 1 087.49 lei
Black Keys Black Keys / Carte Carte broșată
common.buy 113.25 lei
Klaus Badelt KLAUS BADELT / Carte Carte broșată
common.buy 69.26 lei
Fishing the Greenbrier Valley M. W. Smith / Carte Carte broșată
common.buy 71.65 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?