Automatic verification of sequential infinite-state processes /
Saved in:
| தலைமை எழà¯à®¤à¯à®¤à®¾à®³à®°à¯: | |
|---|---|
| வடிவமà¯: | பà¯à®¤à¯à®¤à®•à®®à¯ |
| மொழி: | English |
| வெளியீடபà¯à®ªà®Ÿà¯à®Ÿà®¤à¯: |
Berlin ; New York :
Springer,
c1997.
|
| தொகà¯à®¤à®¿: | Lecture notes in computer science ;
1354. |
| பகà¯à®¤à®¿à®•à®³à¯: | |
| கà¯à®±à®¿à®¯à¯€à®Ÿà¯à®•à®³à¯: |
கà¯à®±à®¿à®šà¯à®šà¯Šà®²à¯ இணை
கà¯à®±à®¿à®¯à¯€à®Ÿà¯à®•à®³à¯ இலà¯à®²à¯ˆ, இநà¯à®¤ கà¯à®±à®¿à®šà¯à®šà¯Šà®²à¯à®²à¯ˆ à®®à¯à®¤à®²à®¿à®²à¯ பதிவ௠செயà¯à®¯à¯à®™à¯à®•à®³à¯!
|
| LEADER | 00913pam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | 007786231-7 | ||
| 005 | 20020606104010.5 | ||
| 008 | 971209s1997 gw a b 001 0 eng | ||
| 010 | |a 97051978 | ||
| 020 | |a 3540601171 (softcover : alk. paper) | ||
| 035 | 0 | |a ocm38090995 | |
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.76.V47 |b B87 1997 |
| 082 | 0 | 0 | |a 005.1/4 |2 21 |
| 100 | 1 | |a Burkart, Olaf. | |
| 245 | 1 | 0 | |a Automatic verification of sequential infinite-state processes / |c Olaf Burkart. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1997. | ||
| 300 | |a x, 163 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 1354 | |
| 504 | |a Includes bibliographical references (p. [155]-159) and index. | ||
| 650 | 0 | |a Computer software |x Verification. | |
| 650 | 0 | |a Software engineering. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1354. |x 0302-9743 | |
| 988 | |a 20020608 | ||
| 906 | |0 DLC | ||