Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
It's All about Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
ISBN: 9783319900889 / Angielski / Miękka / 2018 / 245 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,74 zł |
 |
Formal Methods for Components and Objects
ISBN: 9783642170706 / Angielski / Miękka / 2011 / 339 str. Termin realizacji zamówienia: ok. 20 dni roboczych. All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. 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 a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their...
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the de...
|
cena:
192,74 zł |
 |
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures
ISBN: 9783540367499 / Angielski / Miękka / 2006 / 444 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 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat... |
cena:
192,74 zł |
 |
Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures
ISBN: 9783540203032 / Angielski / Miękka / 2003 / 512 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms....
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, ...
|
cena:
192,74 zł |
 |
Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
ISBN: 9783540229421 / Angielski / Miękka / 2004 / 371 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 more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat... |
cena:
192,74 zł |
 |
Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
ISBN: 9783642334740 / Angielski / Miękka / 2012 / 393 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.
Constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.
|
cena:
192,74 zł |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781447125136 / Angielski / Miękka / 2012 / 502 str. Termin realizacji zamówienia: ok. 20 dni roboczych. HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
308,41 zł |
 |
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ISBN: 9783642358869 / Angielski / Miękka / 2013 / 356 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 for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, ... |
cena:
192,74 zł |
 |
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ISBN: 9783642406140 / Angielski / Miękka / 2013 / 241 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in Se...
|
cena:
177,36 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:
192,74 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:
192,74 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
