Image from Amazon.com
Advances in verification of time petri nets and timed automata : a temporal logic approach / Wojciech Penczek, Agata Polrola.
Material type:
TextSeries: Publisher: New York : Springer, 2006Description: xxxii, 257 pages : illustrations ; 24 cmContent type: - text
- unmediated
- volume
- 3540328696
- 9783540328698
- QA267 .P45 2006
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA267 .P45 2006 (Browse shelf(Opens below)) | Available | 1000192479 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA267 .H67 2006 Introduction to automata theory, languages and computation / | QA267 .K69 1997 Automata and computability / | QA267 .L48 1998 Elements of the theory of computation / | QA267 .P45 2006 Advances in verification of time petri nets and timed automata : a temporal logic approach / | QA267 .R52 2008 Automata computability and complexity : theory and applications / | QA267 .S56 2006 Introduction to the theory of computation / | QA267 .W34 2003 Net theory and its applications : flows in networks / |
1 3
There are no comments on this title.
Log in to your account to post a comment.