|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
ELB177497 |
| 003 |
FINmELB |
| 005 |
20200520144314.0 |
| 006 |
m o d | |
| 007 |
cr cn||||||||| |
| 008 |
070813s2008 njua sb 001 0 eng |
| 015 |
|
|
|a GBA806238
|2 bnb
|
| 016 |
7 |
|
|z 014493167
|2 Uk
|
| 020 |
|
|
|z 9780471704492 (cloth)
|
| 020 |
|
|
|z 0471704490 (cloth)
|
| 035 |
|
|
|a (OCoLC)164570922
|
| 040 |
|
|
|a FINmELB
|c FINmELB
|d FINmELB
|
| 050 |
|
4 |
|a TK7874.58
|b .Y64 2008
|
| 082 |
0 |
4 |
|a 621.3815/48
|2 22
|
| 100 |
1 |
|
|a Yoeli, Michael,
|d 1917-
|
| 245 |
1 |
0 |
|a Verification of systems and circuits using LOTOS, Petri Nets, and CCS
|h [electronic resource] /
|c by Michael Yoeli and Rakefet Kol.
|
| 260 |
|
|
|a Hoboken, N.J. :
|b Wiley-Interscience,
|c c2008.
|
| 300 |
|
|
|a xv, 231 p. :
|b ill.
|
| 490 |
1 |
|
|a Wiley series on parallel and distributed computing
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 588 |
|
|
|a Description based on metadata supplied by the publisher and other sources.
|
| 590 |
|
|
|a Electronic reproduction. Santa Fe, Arg.: elibro, 2021. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
|
| 650 |
|
0 |
|a Integrated circuits
|x Verification.
|
| 650 |
|
0 |
|a Computer software
|x Verification.
|
| 650 |
|
0 |
|a LOTOS (Computer program language)
|
| 650 |
|
0 |
|a Petri nets.
|
| 655 |
|
4 |
|a Electronic books.
|
| 700 |
1 |
|
|a Kol, Rakefet.
|
| 797 |
2 |
|
|a elibro, Corp.
|
| 830 |
|
0 |
|a Wiley series on parallel and distributed computing.
|
| 856 |
4 |
0 |
|u https://elibro.uam.elogim.com/ereader/bidiuam/177497
|z Texto completo
|
| 950 |
|
|
|a eLibro English
|
