Title: Practical Foundations of Business System Specifications / Edition 1, Author: Haim Kilov
Title: Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / Edition 1, Author: Rajeev Alur
Title: Global Software: Developing Applications for the International Market / Edition 1, Author: Dave Taylor
Title: A Web-Based Introduction to Programming: Essential Algorithms, Syntax, and Control Structures Using PHP, HTML, and MySQL / Edition 3, Author: Mike O'Kane
Title: Domain-Specific Modeling: Enabling Full Code Generation / Edition 1, Author: Steven Kelly
Title: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding / Edition 1, Author: Orna Grumberg
Title: Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings / Edition 1, Author: Robert Hirschfeld
Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Bernhard Steffen
Title: Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings / Edition 1, Author: Frank van der Linden
Title: Advances in Exception Handling Techniques / Edition 1, Author: Alexander Romanovsky
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / Edition 1, Author: James C.P. Woodcock
Title: C and UNIX: Tools for Software Design / Edition 1, Author: Martin L. Barrett
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / Edition 1, Author: Marie-Claude Gaudel
Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1, Author: Ed Brinksma
Title: Advanced Topics in Exception Handling Techniques / Edition 1, Author: Christophe Dony
Title: Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers / Edition 1, Author: Jose L. Fiadeiro
Title: Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / Edition 1, Author: George Heineman
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors / Edition 1, Author: R. Kurki-Suonio
Title: Future Business Software: Current Trends in Business Software Development, Author: Gino Brunetti
Title: Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / Edition 1, Author: Didier Bert

Pagination Links