1985, ISBN: 3540152040
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg Mrz 1985], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATI… Altro …
AbeBooks.com BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (of 5)] NEW BOOK. Costi di spedizione: EUR 21.45 Details... |
1985, ISBN: 3540152040
[EAN: 9783540152040], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDAT… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
1985, ISBN: 3540152040
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck… Altro …
AbeBooks.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (of 5)] NEW BOOK. Costi di spedizione: EUR 35.40 Details... |
1985, ISBN: 3540152040
1985 Kartoniert / Broschiert Petri-Netz, Software Engineering, LocalAreaNetwork; Design; interfaces; Language; modeling; programming; Semantics; Software; validation, mit Schutzumschlag… Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540152040
There is currently no description available, Springer
Springer.com Nr. 978-3-540-15204-0. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1985, ISBN: 3540152040
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg Mrz 1985], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATI… Altro …
1985, ISBN: 3540152040
[EAN: 9783540152040], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDAT… Altro …
1985
ISBN: 3540152040
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck… Altro …
1985, ISBN: 3540152040
1985 Kartoniert / Broschiert Petri-Netz, Software Engineering, LocalAreaNetwork; Design; interfaces; Language; modeling; programming; Semantics; Software; validation, mit Schutzumschlag… Altro …
ISBN: 9783540152040
There is currently no description available, Springer
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Advances in Petri Nets 1984
EAN (ISBN-13): 9783540152040
ISBN (ISBN-10): 3540152040
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin
480 Pagine
Peso: 0,719 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-02-15T18:57:53+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-11-11T14:19:48+01:00 (Zurich)
ISBN/EAN: 9783540152040
ISBN - Stili di scrittura alternativi:
3-540-15204-0, 978-3-540-15204-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : genrich, goos, rozenberg
Titolo del libro: petri, 1984, lecture notes computer science, 222
Dati dell'editore
Autore: G. Rozenberg
Titolo: Lecture Notes in Computer Science; Advances in Petri Nets 1984
Editore: Springer; Springer Berlin
472 Pagine
Anno di pubblicazione: 1985-03-01
Berlin; Heidelberg; DE
Lingua: Inglese
50,28 € (DE)
51,69 € (AT)
63,12 CHF (CH)
Available
XII, 472 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Local Area Network; design; interfaces; language; modeling; programming; semantics; software; validation; Software Engineering; Computer Communication Networks; Netzwerk-Hardware; EA
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540393207 Advances in Petri Nets 1984 (H. Genrich; G. Rozenberg; G. Roucairol)
- 9783540393207 Advances in Petri Nets 1984 (H. Genrich; G. Rozenberg; G. Roucairol)
- 9780387164809 Advances in Petri Nets 1985 (Lecture Notes in Computer Science) (GRZEGORZ ROZENBERG)
- 9780387505800 Small-Animal Spect Imaging (Rozenberg, Grzegorz (ed.))
- 9780387152042 Advances in Petri Nets 1984 (Lecture Notes in Computer Science) (Grzegorz Rozenberg)
- 9780387180861 Advances in Petri Nets 1987 (Lecture Notes in Computer Science) (Grzegorz Rozenberg)
< Per archiviare...