Software engineering and formal methods : SEFM 2015 collocated workshops : ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 revised selected papers
Uloženo v:
Podrobná bibliografie
- Další autoři
- , , ,
- Typ dokumentu
- Knihy
- Fyzický popis
- xvi, 323 stran : ilustrace ; 24 cm
- Vydáno
-
Berlin :
Springer,
[2015]
- Edice
- Lecture notes in computer science
- Témata
- Bibliografie
- Obsahuje bibliografie a rejstřík
- ISBN
- 978-3-662-49223-9
Instituce:
Další knihovny
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 000270303 | ||
| 003 | CZ PrSKC | ||
| 005 | 20210401092455.0 | ||
| 008 | 201019s2015 gw a er |001 0 eng d | ||
| 020 | |a 978-3-662-49223-9 |q (brožováno) | ||
| 040 | |a StDuBDS |b eng |c StDuBDS |d Uk |d PND008 |e rda | ||
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 004.41 |2 MRF | ||
| 245 | 0 | 0 | |a Software engineering and formal methods : |b SEFM 2015 collocated workshops : ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 revised selected papers / |c Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.) |
| 246 | 3 | 0 | |a SEFM 2015 |
| 246 | 3 | |a SEFM | |
| 264 | 1 | |a Berlin : |b Springer, |c [2015] | |
| 264 | 4 | |c ©2015 | |
| 300 | |a xvi, 323 stran : |b ilustrace ; |c 24 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a bez média |b n |2 rdamedia | ||
| 338 | |a svazek |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science, |x 0302-9743 ; |v 9509 | |
| 490 | 0 | |a LNCS Sublibrary: SL2 - Programming and software engineering | |
| 504 | |a Obsahuje bibliografie a rejstřík | ||
| 650 | 0 | 7 | |a softwarové inženýrství |7 ph125825 |2 czenas |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 700 | 1 | |a Bianculli, Domenico |4 edt | |
| 700 | 1 | |a Calinescu, Radu C., |d 1968- |4 edt | |
| 700 | 1 | |a Rumpe, Bernhard, |4 edt | |
| 711 | 2 | |a International Conference on Software engineering and formal methods |n (13. : |d 2015 : |c York, Anglie) | |
| 830 | 0 | |a Lecture notes in computer science | |
| 900 | |a PND008 |b 17 | ||
| 996 | |e PND003 |c BORKNV15997 |w 000270303 |s NZ | ||
| 998 | |a http://aleph.nkp.cz/F/?func=direct&doc_number=009152299&local_base=SKC | ||