| search results |

displaying 3 results for author search for 'Wojciech Penczek'

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Wojciech Penczek
Paperback / softback, 257 pages
ISBN-13: 9783642069420
25 Nov 2010
Readership Age:
technology / general Price: R 5 958.95
| on special |
normal price: R 6 620.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Wojciech Penczek
Hardback, 257 pages
ISBN-13: 9783540328698
26 Jun 2006
Readership Age:
technology / general Price: R 5 993.95
| on special |
normal price: R 6 659.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings

Wojciech Penczek
Paperback / softback, 602 pages
ISBN-13: 9783540615507
7 Aug 1996
Readership Age:
computers / machine theory Price: R 3 878.95
| on special |
normal price: R 4 309.95