Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Editore

Springer

Data di pubblicazione

2014

Lingua

Inglese

ISBN 10

3319073168

ISBN 13

9783319073163

Rilegatura

Brossura

Condizione

New

Cataloghi dei venditori

Descrizione articolo

Riassunto

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.

SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.

Contenuti

Analysis of Executable Software Models.- Deadlock Detection in Linear Recursive Programs.- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.- Verification of Concurrent Systems with VerCors.- Combining Monitoring with Run-Time Assertion Checking.- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.- Model-Based Testing.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

SuperBookDeals.com is your top source for finding new books at the absolute lowest prices, guaranteed ! We offer big discounts - everyday - on millions of titles in virtually any category, from Architecture to Zoology -- and everything in between. Discover great deals and super-savings, on professional books, text book titles, the newest computer guides, or your favorite fiction authors. You'll find it all - at HUGE SAVINGS - at SuperBookDeals. Browse through our complete online product catalog today. Serving customers around the world for years, we help thousands find just the books they're looking for -- at incredibly low, bargain prices.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Expert Trading Limited
9220 Rumsey Road, Suite 101, Columbia, MD, 21045, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Company Name: GreatBookPrices
Legal Entity: Expert Trading, LLC
Address: 6310 Stevens Forest, suite 200, Columbia MD 21046
Email address: CustomerService@SuperBookDeals.com
Phone number: 410-964-0026
consumer complaints can be addressed to address above
Registration #: 52-1713923
Authorized representative: Danielle Hainsey

Diritto di recesso

Condizioni di spedizione

Our warehouses across the globe are fully operational without substantial delays. We are working hard and continue to overcome the daily challenges presented by COVID-19. We appreciate your understanding.

Internal processing of your order will take about 1-2 business days. Please allow an additional 4-14 business days for Media Mail delivery. We have multiple ship-from locations - MD,IL,NJ,UK,IN,NV,TN & GA

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 8 a 14 giorni lavorativi	Da 5 a 14 giorni lavorativi
Primo articolo	EUR 2.25	EUR 2.25

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.