Filter By
Books (25)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Mathematical Methods in Program Development by Manfred Broy 9783642645884
Booksplease Price: £90.86Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are... -
Methods of Programming: Selected Papers on the CIP-Project by Manfred Broy 9783540545767
Booksplease Price: £46.58The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the... -
Programming and Mathematical Method: International Summer School by Manfred Broy 9783642775741
Booksplease Price: £91.68The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular... -
Formal Systems Specification: The RPC-Memory Specification Case Study by Manfred Broy 9783540619840
Booksplease Price: £46.58The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems... -
Model-Based Testing of Reactive Systems: Advanced Lectures by Manfred Broy 9783540262787
Booksplease Price: £47.08Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been... -
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement by Manfred Broy 9780387950730
Booksplease Price: £46.58This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program... -
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement by Manfred Broy 9781461265184
Booksplease Price: £46.28A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this... -
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School by Manfred Broy 9783540170822
Booksplease Price: £90.86In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for... -
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report by Manfred Broy 9783540605898
Booksplease Price: £46.58This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an... -
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare by Manfred Broy 9783642873768
Booksplease Price: £49.51In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most interesting and most... -
Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare by Manfred Broy 9789027714626
Booksplease Price: £46.58Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok- smith~ the oobbler and the tailor. These oraftsmen aoquired their skill... -
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers by Manfred Broy 9783540208136
Booksplease Price: £46.58Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July... -
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers by Manfred Broy 9783540709299
Booksplease Price: £47.80Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems... -
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers by Manfred Broy 9783540376774
Booksplease Price: £46.58This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004. The 10 revised full papers presented... -
The Essence of Software Engineering by Volker Gruhn 9783319738963
Booksplease Price: £46.28This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial... -
The Essence of Software Engineering by Volker Gruhn 9783030088804
Booksplease Price: £46.28This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial... -
The Future of Software Engineering by Sebastian Nanz 9783642443916
Booksplease Price: £46.74This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent... -
The Future of Software Engineering by Sebastian Nanz 9783642151866
Booksplease Price: £46.28This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent... -
SOFSEM '98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings by Branislav Rovan 9783540652601
Booksplease Price: £46.58This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998... -
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers by Didier Bert 9783540678984
Booksplease Price: £46.58The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software... -
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings by Jost-Pieter Katoen 9783540660101
Booksplease Price: £46.28TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is... -
Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach by Jurgen Munch 9783642373947
Booksplease Price: £90.86The dependence on quality software in all areas of life is what makes software engineering a key discipline for today's society. Thus, over the last few decades it has been increasingly recognized... -
Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider 9783642055553
Booksplease Price: £47.08Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a... -
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine by David Harel 9783540007876
Booksplease Price: £47.08This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they... -
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies by Wolfgang Reisig 9783662523070
Booksplease Price: £46.28With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a...