Fortæl dine venner om denne vare:
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 1995 edition
Kurt Jensen
Pris
Íkr 16.623,75
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 8. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 1995 edition
Kurt Jensen
They allow the modeller to investigate dynamic properties of CP-nets. The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools.
187 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1. december 2010 |
| ISBN13 | 9783642082009 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 177 |
| Mål | 157 × 233 × 11 mm · 272 g |
| Sprog | Engelsk |
Vis alle
Mere med Kurt Jensen
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Paperback Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/423/9783642381423.jpg?kurt-jensen-2013-transactions-on-petri-nets-and-other-models-of-concurrency-vii-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/563/9783642645563.jpg?kurt-jensen-2011-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 2nd ed. 1996 edition] (2010)](https://imusic.b-cdn.net/images/item/original/436/9783642082436.jpg?kurt-jensen-2010-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Paperback Bog) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/548/9783642048548.jpg?kurt-jensen-2009-transactions-on-petri-nets-and-other-models-of-concurrency-iii-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Hardcover bog) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/830/9783642002830.jpg?kurt-jensen-2009-coloured-petri-nets-modelling-and-validation-of-concurrent-systems-hardcover-bog&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee (Paperback Bog) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/997/9783540212997.jpg?kurt-jensen-2004-tools-and-algorithms-for-the-construction-and-analysis-of-systems-10th-international-conference-tacas-2004-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2004-barcelona-spain-march-29-april-2-2004-p&class=scaled&v=1538836911)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2nd ed. 1996. 2nd corr. printing 1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/438/9783540609438.jpg?kurt-jensen-1996-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1537926439)
Se alt med Kurt Jensen ( f.eks. Paperback Bog , Hardcover bog og Løsblad )