Analysis and verification of multiple-agent languages : 5th LOMPAS workshop, Stockholm, Sweden, June 24-26, 1996. Selected papers
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin :
Springer,
1997
|
Series: | Lecture notes in computer science ;
1192 |
ISSN: | 0302-9743 |
ISBN: | 3-540-62503-8 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01221nam a2200337 a 4500 | ||
---|---|---|---|
001 | 000017033 | ||
003 | CZ PrSTK | ||
005 | 20080107103622.0 | ||
008 | 970206s1997 gw ||| | eng | ||
020 | |a 3-540-62503-8 | ||
022 | |a 0302-9743 | ||
040 | |a ABA013 |b cze | ||
050 | 0 | |a QA76.7 |b .A53 1996 | |
080 | |a 681.3.06(063) |2 undef | ||
080 | |a 519.68(063) |2 undef | ||
080 | |a 519.226.2:681.3(063) |2 undef | ||
080 | |a 517(063) |2 undef | ||
245 | 0 | 0 | |a Analysis and verification of multiple-agent languages : |b 5th LOMPAS workshop, Stockholm, Sweden, June 24-26, 1996. Selected papers / |c Edited by Mads Dam |
260 | |a Berlin : |b Springer, |c 1997 | ||
300 | |a viii, 434 s. | ||
490 | 0 | |a Lecture notes in computer science ; |v 1192 | |
500 | |a Konference [workshop], Stockholm, 1996 | ||
650 | 0 | 7 | |a programovací jazyky |x vt |7 psh12474 |2 psh |
650 | 0 | 7 | |a verifikace programu |x if |7 psh6582 |2 psh |
650 | 0 | 7 | |a analýza |x ve |7 psh11953 |2 psh |
700 | 1 | |a Dam, Mads, |d 1955- |7 xx0049942 |4 edt | |
910 | |a ABA013 |b A 33432 | ||
964 | |a Jazyky programovací | ||
964 | |a Verifikace - počítače | ||
964 | |a Analýza | ||
996 | |a STK |b 2660137990 |c 245/97 |d 19970206 |f 1625.00 |g A 33432 |v QA76 .7 .A53 1996 |l 6.NP, regál 6D/009 |t 03 |