wyszukanych pozycji: 7
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521641708 / Angielski / Twarda / 1998 / 436 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and...
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t...
|
|
cena:
631,19 zł |
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521103503 / Angielski / Miękka / 2008 / 436 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and...
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t...
|
|
cena:
346,53 zł |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521169325 / Angielski / Miękka / 2012 / 800 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ...
|
|
cena:
481,03 zł |
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
ISBN: 9783540654933 / Angielski / Miękka / 1998 / 647 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters ...
|
|
cena:
391,77 zł |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521806084 / Angielski / Twarda / 2001 / 800 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ...
|
|
cena:
1131,09 zł |
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
ISBN: 9783540747918 / Angielski / Miękka / 2007 / 300 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands,... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat... |
|
cena:
195,87 zł |
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
ISBN: 9783540291312 / Angielski / Miękka / 2005 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat... |
|
cena:
195,87 zł |