Andere Kunden interessierten sich auch für
![Abstract State Machines, Alloy, B, TLA, VDM, and Z]( "Abstract State Machines, Alloy, B, TLA, VDM, and Z")
Abstract State Machines, Alloy, B, TLA, VDM, and Z37,99 €![Applications and Theory of Petri Nets]( "Applications and Theory of Petri Nets")
Applications and Theory of Petri Nets77,99 €![Abstract State Machines, B and Z]( "Abstract State Machines, B and Z")
Abstract State Machines, B and Z39,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation39,99 €![Language Design and Programming Methodology]( "Language Design and Programming Methodology")
Language Design and Programming Methodology18,99 €![FME '97 Industrial Applications and Strengthened Foundations of Formal Methods]( "FME '97 Industrial Applications and Strengthened Foundations of Formal Methods")
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods77,99 €![Prototyping-Oriented Software Development]( "Prototyping-Oriented Software Development")
Prototyping-Oriented Software Development39,99 €
Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: ¿ EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk.