| Judul | Temporal Logic and State Systems |
| Pengarang | Fred Kroger (Pengarang) Stephan Merz (Pengarang) |
| Penerbitan | Berlin : Springer, 2008 |
| Konten | Teks |
| Media | Komputer |
| Penyimpan Media | Sumber sambung jaring |
| ISBN | 978-3-540-68635-4 |
| Subjek | logic programming |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000005943 | ||
| 005 | 20201016102842 | ||
| 007 | ta | ||
| 008 | 201016################|##########|#|## | ||
| 020 | # | # | $a 978-3-540-68635-4 |
| 035 | # | # | $a 0010-1020000180 |
| 100 | 0 | # | $a Fred Kroger$e Pengarang |
| 245 | 1 | # | $a Temporal Logic and State Systems |
| 264 | # | # | $a Berlin :$b Springer,$c 2008 |
| 336 | # | # | $a Teks$2 rdacontent |
| 337 | # | # | $a Komputer$2 rdamedia |
| 338 | # | # | $a Sumber sambung jaring$2 rdacarrier |
| 600 | # | 4 | $a logic programming |
| 700 | 0 | # | $a Stephan Merz$e Pengarang |
| No | Nama File | Nama File Format Flash | Format File | Action |
| 1 | 2008 Temporal Logic and State Systems.pdf | logic | Baca Online |
Content Unduh katalog
Karya Terkait :