ISBN: 9783540393207
Computer Science; Software Engineering; Computer Communication Networks Local Area Network, design, interfaces, language, modeling, programming, semantics, software, validation Books eBoo… Plus…
Springer.com Frais d'envoi EUR 0.00 Details... |
ISBN: 9783540393207
Computer Science; Software Engineering; Computer Communication Networks Local Area Network, design, interfaces, language, modeling, programming, semantics, software, validation Books eBoo… Plus…
Springer.com Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
ISBN: 9783540393207
Computer Science; Software Engineering; Computer Communication Networks Local Area Network, design, interfaces, language, modeling, programming, semantics, software, validation Books eBoo… Plus…
Springer.com Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
ISBN: 9783540393207
There is currently no description available Books > Computer Science eBook, Springer Shop
Springer.com new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540393207
There is currently no description available, Springer
Springer.com Nr. 978-3-540-39320-7. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540393207
Computer Science; Software Engineering; Computer Communication Networks Local Area Network, design, interfaces, language, modeling, programming, semantics, software, validation Books eBoo… Plus…
ISBN: 9783540393207
Computer Science; Software Engineering; Computer Communication Networks Local Area Network, design, interfaces, language, modeling, programming, semantics, software, validation Books eBoo… Plus…
ISBN: 9783540393207
Computer Science; Software Engineering; Computer Communication Networks Local Area Network, design, interfaces, language, modeling, programming, semantics, software, validation Books eBoo… Plus…
ISBN: 9783540393207
There is currently no description available Books > Computer Science eBook, Springer Shop
ISBN: 9783540393207
There is currently no description available, Springer
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Advances in Petri Nets 1984
EAN (ISBN-13): 9783540393207
Editeur: Springer Science+Business Media
Livre dans la base de données depuis 2016-11-27T13:49:59+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-11-11T14:19:48+01:00 (Zurich)
ISBN/EAN: 9783540393207
ISBN - Autres types d'écriture:
978-3-540-39320-7
Autres types d'écriture et termes associés:
Auteur du livre: rozenberg
Titre du livre: 1984
Données de l'éditeur
Auteur: G. Rozenberg
Titre: Lecture Notes in Computer Science; Advances in Petri Nets 1984
Editeur: Springer; Springer Berlin
472 Pages
Date de parution: 2005-07-06
Berlin; Heidelberg; DE
Langue: Anglais
50,28 € (DE)
51,70 € (AT)
63,00 CHF (CH)
Available
XII, 472 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Local Area Network; design; interfaces; language; modeling; programming; semantics; software; validation; C; Software Engineering; Computer Communication Networks; Computer Science; Netzwerk-Hardware; BC
PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9780387164809 Advances in Petri Nets 1985 (Lecture Notes in Computer Science) (GRZEGORZ ROZENBERG)
- 9780387164809 Advances in Petri Nets 1985 (Lecture Notes in Computer Science) (GRZEGORZ ROZENBERG)
- 9780387524948 Advances in Petri Nets, 1989 (Grzegorz Rozenberg)
- 9780387505800 Small-Animal Spect Imaging (Rozenberg, Grzegorz (ed.))
- 9783540152040 Advances in Petri Nets 1984 (G. Rozenberg)
- 9780387152042 Advances in Petri Nets 1984 (Lecture Notes in Computer Science) (Grzegorz Rozenberg)
< pour archiver...