1- 20 of 35 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / Edition 1, Author: Jonathan P. Bowen
QUICK ADD
ZUM '98: The Z Formal…
by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
#1493 in Series
Paperback $54.99
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A / Edition 1, Author: Josep Diaz
QUICK ADD
TAPSOFT '89: Proceedings of…
by Josep Diaz, Fernando Orejas
#351 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, Author: Cong Tian
QUICK ADD
Structured Object-Oriented…
by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
#10795 in Series
Paperback $54.99
Title: Software Engineering: Proceedings of CSI 2015, Author: M. N. Hoda
QUICK ADD
Software Engineering:…
by M. N. Hoda, Naresh Chauhan, S. M. K. Quadri, Praveen Ranjan Srivastava
#731 in Series
Paperback $89.99
Title: Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, Author: Michaela Huhn
QUICK ADD
Software Engineering in Health…
by Michaela Huhn, Laurie Williams
#9062 in Series
Paperback $54.99
Title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Author: Alessandro Cimatti
QUICK ADD
Software Engineering and…
by Alessandro Cimatti, Marjan Sirjani
#10469 in Series
Paperback $54.99
Title: SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, Author: Tibor Csöndes
QUICK ADD
SDL 2017: Model-Driven…
by Tibor Csöndes, Gábor Kovács, György Réthy
#10567 in Series
Paperback $54.99
Title: SAT 2005: Satisfiability Research in the Year 2005, Author: Enrico Giunchiglia
QUICK ADD
SAT 2005: Satisfiability…
by Enrico Giunchiglia, Toby Walsh
Paperback $169.99
Title: Requirements Engineering for Internet of Things: 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9-10, 2017, Proceedings, Author: Massila Kamalrudin
QUICK ADD
Requirements Engineering for…
by Massila Kamalrudin, Sabrina Ahmad, Naveed Ikram
#809 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, Author: Alessandro Fantechi
QUICK ADD
Reliability, Safety, and…
by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
#10598 in Series
Paperback $54.99
Title: Open Source Starter Guide for IBM i Developers, Author: Pete Helgren
QUICK ADD
Open Source Starter Guide for…
by Pete Helgren
Paperback $59.95
Title: New Masters of Photoshop / Edition 1, Author: Josh Fallon
QUICK ADD
New Masters of Photoshop /…
by Josh Fallon, Paul Sinclair, Adrian Luna, Colin Smith, Derek Lea
Paperback $109.99
Title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Author: Aaron Dutle
QUICK ADD
NASA Formal Methods: 10th…
by Aaron Dutle, César Muñoz, Anthony Narkawicz
#10811 in Series
Paperback $54.99
Title: Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Anthony Anjorin
QUICK ADD
Modelling Foundations and…
by Anthony Anjorin, Huáscar Espinoza
#10376 in Series
Paperback $54.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
#10563 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99
Title: Internetware: A New Software Paradigm for Internet Computing, Author: Hong Mei
QUICK ADD
Internetware: A New Software…
by Hong Mei, Jian Lü
Paperback $109.99
Title: Handbook of Finite State Based Models and Applications / Edition 1, Author: Jiacun Wang
QUICK ADD
Handbook of Finite State Based…
by Jiacun Wang
#75 in Series
Paperback $82.99
Title: Fundamentals of Software Culture, Author: Zheng Qin
QUICK ADD
Fundamentals of Software…
by Zheng Qin, Huidi Zhang, Xin Qin, Kaiping Xu, Kouemo Ngayo Anatoli Dimitrov
Paperback $37.99
Title: Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Perdita Stevens
QUICK ADD
Fundamental Approaches to…
by Perdita Stevens, Andrzej Wasowski
#9633 in Series
Paperback $54.99

Pagination Links