Analysis and verification of multiple-agent languages : 5th LOMPAS workshop, Stockholm, Sweden, June 24-26, 1996. Selected papers
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
1997
|
| Edice: | Lecture notes in computer science ;
1192 |
| ISSN: | 0302-9743 |
| ISBN: | 3-540-62503-8 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| 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 | ||