981- 1000 of 2677 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Object-Oriented Development, Author: Kevin Lano
QUICK ADD
Formal Object-Oriented…
by Kevin Lano
Explore Series
Paperback $54.99
Title: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report, Author: Bernhard Möller
QUICK ADD
Formal Program Development:…
by Bernhard Möller (Editor), Helmut Partsch (Editor), Steve Schuman (Editor)
#755 in Series
Paperback $54.99
Title: Formal Refinement for Operating System Kernels, Author: Iain D. Craig
QUICK ADD
Formal Refinement for…
by Iain D. Craig
Paperback $109.99
Title: Formal Specification and Design, Author: L. M. G. Feijs
QUICK ADD
Formal Specification and…
by L. M. G. Feijs, H. B. M. Jonkers
#35 in Series
Paperback $61.99
Title: Formal Specification Techniques for Engineering Modular C Programs, Author: Tan Yang Meng
QUICK ADD
Formal Specification…
by Tan Yang Meng
#1 in Series
Paperback $169.99
Title: Formal Specification: Techniques and Applications, Author: Nimal Nissanke
QUICK ADD
Formal Specification:…
by Nimal Nissanke
Paperback $54.99
Title: Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, Author: Mario Bravetti
QUICK ADD
Formal Techniques for Computer…
by Mario Bravetti (Editor), Leila Kloul (Editor), Gianluigi Zavattaro (Editor)
#3670 in Series
Paperback $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm, Author: Jorge A. Pérez
QUICK ADD
Formal Techniques for…
by Jorge A. Pérez (Editor), Nobuko Yoshida (Editor)
#11535 in Series
Paperback $69.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, Jun, Author: Alexey Gotsman
QUICK ADD
Formal Techniques for…
by Alexey Gotsman (Editor), Ana Sokolova (Editor)
#12136 in Series
Paperback $69.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, Jun, Author: Kirstin Peters
QUICK ADD
Formal Techniques for…
by Kirstin Peters (Editor), Tim A. C. Willemse (Editor)
#12719 in Series
Paperback $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 1, Author: Mohammad Reza Mousavi
QUICK ADD
Formal Techniques for…
by Mohammad Reza Mousavi (Editor), Anna Philippou (Editor)
#13273 in Series
Paperback $79.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, Ju, Author: Marieke Huisman
QUICK ADD
Formal Techniques for…
by Marieke Huisman (Editor), António Ravara (Editor)
#13910 in Series
Paperback $79.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Nethe, Author: Valentina Castiglioni
QUICK ADD
Formal Techniques for…
by Valentina Castiglioni (Editor), Adrian Francalanza (Editor)
#14678 in Series
Paperback $109.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June, Author: Carla Ferreira
QUICK ADD
Formal Techniques for…
by Carla Ferreira (Editor), Claudio Antares Mezzina (Editor)
#15732 in Series
Paperback $64.99
Title: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Greno, Author: Yassine Lakhnech
QUICK ADD
Formal Techniques, Modelling…
by Yassine Lakhnech (Editor), Sergio Yovine (Editor)
#3253 in Series
Paperback $54.99
Title: Formale Beschreibungstechniken f�r verteilte Systeme, Author: Dieter Hogrefe
QUICK ADD
Formale Beschreibungstechniken…
by Dieter Hogrefe (Editor)
Explore Series
Paperback $79.99
Title: Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings, Author: J. Diaz
QUICK ADD
Formalization of Programming…
by J. Diaz (Editor), I. Ramos (Editor)
#107 in Series
Paperback $54.99
Title: FORTRAN IV/77-Programm zur Finite-Elemente-Methode: Ein FEM-Programm für die Elemente Stab, Balken und Scheibendreieck, Author: Wilfried Gawehn
QUICK ADD
FORTRAN IV/77-Programm zur…
by Wilfried Gawehn
Paperback $69.99
Title: Foundations and Practice of Security: 5th International Symposium on Foundations and Practice of Security, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers, Author: Joaquin Garcia-Alfaro
QUICK ADD
Foundations and Practice of…
by Joaquin Garcia-Alfaro (Editor), Frederic Cuppens (Editor), Nora Cuppens-Boulahia (Editor), Ali Miri (Editor), Nadia Tawbi (Editor)
#7743 in Series
Paperback $54.99
Title: Foundations of C++/CLI: The Visual C++ Language for .NET 3.5, Author: Gordon Hogenson
QUICK ADD
Foundations of C++/CLI: The…
by Gordon Hogenson
Explore Series
Paperback $69.99

Pagination Links