Concurrency Verification (Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science))

By De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich

Concurrency Verification (Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science))

By De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich

$120

Data Refinement (Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science))

By Willem-Paul de Roever, Kai Engelhardt

Data Refinement (Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science))

By Willem-Paul de Roever, Kai Engelhardt

$98.76

Data Refinement (Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science))

By W-.P.De Roever, Kai Engelhardt, Willem-Paul de Roever

Data Refinement (Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science))

By W-.P.De Roever, Kai Engelhardt, Willem-Paul de Roever

$195

3

Concurrency Verification (Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science))

By de Roever, Willem-Paul, de Boer, Frank, Ulrich Hanneman, Jozef Hooman

Concurrency Verification (Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science))

By de Roever, Willem-Paul, de Boer, Frank, Ulrich Hanneman, Jozef Hooman

$340

Programming Concepts and Methods PROCOMET '98 (IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (IFIP Advances in Information and Communication Technology))

By David Gries, Willem-Paul de Roever, Willem-Paul de Roever

Programming Concepts and Methods PROCOMET '98 (IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (IFIP Advances in Information and Communication Technology))

By David Gries, Willem-Paul de Roever, Willem-Paul de Roever

$392 Elsewhere ~~$629.95~~ Save $237.95 (38%)

Programming Concepts and Methods Procomet '98

By David Gries (Cornell Univ. Cornell University Cornell University, Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel,

Programming Concepts and Methods Procomet '98

By David Gries (Cornell Univ. Cornell University Cornell University, Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel,

$119

Programming Concepts and Methods PROCOMET '98 (IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (IFIP Advances in Information and Communication Technology))

By David Gries, Willem-Paul de Roever

Programming Concepts and Methods PROCOMET '98 (IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (IFIP Advances in Information and Communication Technology))

By David Gries, Willem-Paul de Roever

$410

Current Trends in Concurrency (Advanced School : Papers (Lecture Notes in Computer Science))

By Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Current Trends in Concurrency (Advanced School : Papers (Lecture Notes in Computer Science))

By Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

$220

Formal Methods for Components and Objects (First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

$110

Formal Methods for Components and Objects (Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

$110

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

$110

Formal Methods for Components and Objects (4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

$110

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By J. W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By J. W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

$211

Stepwise Refinement of Distributed Systems (Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg, Marek Warpechowski

Stepwise Refinement of Distributed Systems (Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg, Marek Warpechowski

$203

A Decade of Concurrency (Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science))

By J. W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

A Decade of Concurrency (Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science))

By J. W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

$220

Formal Techniques in Real-Time and Fault-Tolerant Systems (Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings (Lecture Notes in Computer Science))

By Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems (Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings (Lecture Notes in Computer Science))

By Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

$203

Compositionality: The Significant Difference (International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

Compositionality: The Significant Difference (International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

$211

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

$110

View:
Safe Search(?):