• 

  Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings

  by Frank de Boer (Editor), Antonio Cerone (Editor)

  • See All from $56.35
  • New from $56.35
  • eBook from $18.00
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $56.35

  New Softcover, 2020

  More details Add to Cart
• 

  Rudolf Escher: Orchestral Music; Chamber Music; Choral Music (2020)

  by Bart Schneemann (oboe), Frank van de Laar (piano), Glen Wilson (harpsichord), Herman de Boer (clarinet), Jacques Zoon (flute), Ronald Hoogeveen (violin), Netherlands Chamber Choir (choir, chorus), Royal Concertgebouw Orchestra

  • See All from $28.65
  • New from $28.65
  • More Music Like This | Add to Wishlist

  Recommended Copy

  $28.65

  New CD, 2020

  More details Add to Cart
• 

  Formal Methods for Components and Objects

  by Frank S De Boer (Editor), Marcello M Bonsangue (Editor), Susanne Graf (Editor)

  • See All from $47.96
  • New from $51.65
  • eBook from $16.50
  • Collectible from $74.86
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $47.96

  Used Softcover, 2007

  More details Add to Cart
• 

  J.S. Bach: Brandenburg Concertos; Orchestral Suites; Violin Concertos (2020)

  by Albert Bruggen (cello), Amsterdam Bach Soloists, Elisabeth Ingenhausz (violin), Erwin Wieringa (horn), Frank de Bruine (oboe), Giorgio Krohner (violin), Henk Rubingh (violin), Irmgard Schaller (violin), Johannes Boer (viola da gamba)

  • See All from $35.26
  • New from $35.26
  • More Music Like This | Add to Wishlist

  Recommended Copy

  $35.26

  New CD, 2020

  More details Add to Cart
• 

  Active Object Languages: Current Research Trends

  by Frank de Boer (Editor), Ferruccio Damiani (Editor), Reiner H?hnle (Editor)

  • See All from $79.03
  • New from $79.83
  • eBook from $25.50
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist
• 

  Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

  by Frank S de Boer (Editor), Marcello M Bonsangue (Editor), Susanne Graf (Editor)

  • See All from $13.36
  • New from $48.25
  • eBook from $16.50
  • Collectible from $43.32
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $13.36

  Used Softcover, 2004

  More details Add to Cart
• 

  Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures

  by Frank S De Boer (Editor), Marcello M Bonsangue (Editor), Susanne Graf (Editor)

  • See All from $13.17
  • New from $51.65
  • eBook from $16.50
  • Collectible from $43.52
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $13.17

  Used Softcover, 2005

  More details Add to Cart
• 

  Concurrency Verification: Introduction to Compositional and Non-compositional Methods

  by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman

  • See All from $90.34
  • New from $90.34
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $90.34

  New Softcover, 2012

  More details Add to Cart
• 

  It's All about Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

  by Frank de Boer (Editor), Marcello Bonsangue (Editor), Jan Rutten (Editor)

  • See All from $51.65
  • New from $51.65
  • eBook from $16.50
  • Collectible from $80.09
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $51.65

  New Softcover, 2018

  More details Add to Cart
• 

  Microelectromechanical Systems - Materials and Devices IV: Volume 1299

  by Frank W. DelRio (Editor), Maarten P. de Boer (Editor), Christoph Eberl (Editor)

  • See All from $32.18
  • New from $32.18
  • Collectible from $49.65
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $33.77

  New Softcover, 2014

  More details Add to Cart
• 

  Mems, Biomems and Bioelectronics - Materials and Devices: Volume 1415

  by Tim Albrecht (Editor), Maarten P. de Boer (Editor), Frank W. DelRio (Editor)

  • See All from $56.20
  • New from $56.20
  • Collectible from $94.71
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $56.20

  New Hardcover, 2012

  More details Add to Cart
• 

  Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures

  by Frank S De Boer (Editor), Marcello M Bonsangue (Editor), Susanne Graf (Editor)

  • See All from $47.79
  • New from $51.65
  • Collectible from $87.71
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $47.79

  Used Softcover, 2006

  More details Add to Cart
• 

  Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

  by Elena Giachino (Editor), Reiner H?hnle (Editor), Frank S De Boer (Editor)

  • See All from $46.96
  • New from $46.96
  • eBook from $15.00
  • Collectible from $79.12
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $46.96

  New Softcover, 2013

  More details Add to Cart
• 

  Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures

  by Frank S de Boer (Editor), Marcello Bonsangue (Editor), Susanne Graf (Editor)

  • See All from $38.48
  • New from $51.65
  • eBook from $16.50
  • Collectible from $57.92
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $38.48

  Used Softcover, 2003

  More details Add to Cart
• 

  Verification of Sequential and Concurrent Programs

  by Krzysztof R Apt, Ernst-R Diger Olderog

  • See All from $30.04
  • New from $57.97
  • Collectible from $48.65
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $34.25

  Used Hardcover, 2010

  More details Add to Cart
• 

  FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

  by Nikolaj Bj°rner (Editor), Frank de Boer (Editor)

  • See All from $51.65
  • New from $51.65
  • eBook from $16.50
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $51.65

  New Softcover, 2015

  More details Add to Cart
• 

  Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

  by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Frank S De Boer (Editor)

  • See All from $51.65
  • New from $51.65
  • eBook from $16.50
  • Collectible from $81.67
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $51.65

  New Softcover, 2013

  More details Add to Cart
• 

  Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

  by Bernhard K Aichernig (Editor), Frank S De Boer (Editor), Marcello M Bonsangue (Editor)

  • See All from $51.65
  • New from $51.65
  • Collectible from $98.38
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $51.65

  New Softcover, 2011

  More details Add to Cart
• 

  Theoretical Computer Science: 7th Ifip Tc1/Wg 2.2 International Conference, Tcs 2012, Amsterdam, the Netherlands, September 26-28, 2012, Proceedings

  by Jos C M Baeten (Editor), Tom Ball (Editor), Frank S De Boer (Editor)

  • See All from $51.65
  • New from $51.65
  • Collectible from $87.71
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $51.65

  New Softcover, 2012

  More details Add to Cart
• 

  Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

  by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Stefan Hallerstede (Editor)

  • See All from $51.65
  • New from $51.65
  • eBook from $16.50
  • Collectible from $99.79
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $51.65

  New Softcover, 2011

  More details Add to Cart

Additional copies that match your search:

• 1. De Mooiste Synagoge van Nederland: Joods Leven in Enschede Vanaf 1767

  by Frank van Zuijlen (editor); Sake de Boer; Zeno Kokls; Joop Slager (authors)

   
  

  

  Seller Description: Very good in very good dust jacket. 120 p. Includes: illustrations, bibliography. In Dutch with 1-page summaries in English and German. See More Details

  2003, Stichting Synagoge Enschede ISBN-13: 9789070162801 Hardcover, Very Good

  Masalai Press BEST Oakland, CA, USA

  $150.00 Add to Cart

  Add to Wishlist

• 2. Concurrency Verification: Introduction to Compositional and Non-compositional Methods

  by Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich

   
  

  

  Seller Description: New. Print on demand Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. See More Details

  2001, Cambridge University Press ISBN-13: 9780521806084 Hardcover, New

  Alibris BEST NV, USA

  $259.16 Add to Cart

  Add to Wishlist

• 3. Concurrency Verification: Introduction to Compositional and Non-compositional Methods

  by Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich

   
  

  

  Seller Description: New. Cambridge Tracts in Theoretical Computer Science . Intended for college/higher education audience. See More Details

  2001, Cambridge University Press ISBN-13: 9780521806084 Hardcover, New

  Ria Christie Books HIGH Uxbridge, MIDDLESEX, UNITED KINGDOM

  $314.47 Add to Cart

  Add to Wishlist