Vieweg Advanced Studies in Computer Science – serie
Visar alla böcker i serien Vieweg Advanced Studies in Computer Science. Handla med fri frakt och snabb leverans.
3 produkter
Open Distributed Systems
On Concepts, Methods, and Design from a Logical Point of View
Häftad, 1993
582 kr
Lägg i varukorg
This work presents a new, abstract and comprehensive view of open distributed systems. The starting point is a small number of core concepts and basic principles, which are informally introduced and precisely defined using mathematical logic. It is shown how the basic concepts of open systems …
Modeling of Dynamic Object Systems
A Logic-based Approach
Häftad, 1993
582 kr
Lägg i varukorg
This volume presents an approach to the formal object-oriented specification of information systems. The approach focuses on the early phases of system development where existing systems have to be described or systems to be developed have to be prescribed (requirements specification or …
