Vertel uw vrienden over dit artikel:
Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
Prijs
NZD 116,63
Besteld in een afgelegen magazijn
Verwachte levering 18 - 28 jun.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Covers model checking and system verification, synthesis, work on specific classes of Petri nets and more.
310 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 27 maart 2012 |
| ISBN13 | 9783642290718 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 310 |
| Afmetingen | 155 × 235 × 18 mm · 458 g |
| Taal en grammatica | Frans |
Alles tonen
Meer door Kurt Jensen
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Paperback Book) [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-book&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 Book) [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-book&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 1995 edition] (2010)](https://imusic.b-cdn.net/images/item/original/009/9783642082009.jpg?kurt-jensen-2010-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-2-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1408468337)
![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 Book) [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-book&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Paperback Book) [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-book&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Hardcover Book) [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-book&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 Book) [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 · Sikkerhedselektronik (Paperback Book) [2e uitgave] [Løsblade] (2003)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![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 Book) [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-book&class=scaled&v=1537926439)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [1st ed. 1995. 2nd corr. printing 1997 edition] (1994)](https://imusic.b-cdn.net/images/item/original/762/9783540582762.jpg?kurt-jensen-1994-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-2-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1538840878)
Bekijk alles van Kurt Jensen ( bijv. Paperback Book , Hardcover Book en Loose-leaf )