Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

140 winkels

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Vind hier een winkel

€ 183,45

+ 366 punten

Levering 2 à 3 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous; M. Baldamus. Contributions to Quality from Quantitative Modelling. Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets; V. Mainkar, K.S. Trivedi. Performance Modeling with Structured Actions; I. Schieferdecker. Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables; R. German. Discrete Time Deterministic and Stochastic Petri Nets; R. Zijal. Contributions to Quality from Distributed Systems Organization. Bauhaus Linda: an Overview; N. Carriero, D. Gelernter, L. Zuck. Naming and Typing in Languages for Coordination in Open Distributed Systems; R. Tolksdorf. An Efficient Implementation of Decoupled Communication in Distributed Environments; A. Polze. Extending the Role of Object References in Distributed Systems; P. Dickman. On Protocols for Loss-Less Statistical Multiplexing in Integrated Networks; M. Mateescu.