Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers

Saved in:
Bibliographic Details
Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany)
Other Authors: Leue, Stefan, 1962- (Editor), Merino, Pedro (Editor)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, c2008
Series: Lecture notes in computer science
LNCS sublibrary. Programming and software engineering
Subjects:
softwarové inženýrství
programování
testování softwaru
elektronické knihy
ISBN: 9783540797067
Physical Description: x, 250 s. : il.

Cover

Table of contents

LEADER 01946cam a2200469 4500
001 52107
003 CZ ZlUTB
005 20240911205841.0
006 m-----o--d--------
007 cr-|n-
008 080410s2008 gw | eng d
999 |c 52107  |d 52107 
020 |a 9783540797067 
035 |a (OCoLC)ocn227032564 
040 |a BTCTA  |b cze  |c BTCTA  |d ZLD002  |d OHX  |d NLGGC  |d LUU  |d CUY  |d YDXCP  |d DLC 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.41  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 004.415.53  |2 MRF 
111 2 |a International Workshop on Formal Methods for Industrial Critical Systems  |n (12th :  |d 2007 :  |c Berlin, Germany) 
245 1 0 |a Formal methods for industrial critical systems  |h [elektronický zdroj] :  |b 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /  |c Stefan Leue, Pedro Merino (eds.). 
246 3 |a International Workshop on Formal Methods for Industrial Critical Systems 
246 3 0 |a FMICS 2007 
260 |a Berlin ;  |a New York :  |b Springer,  |c c2008 
300 |a x, 250 s. :  |b il. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 4916 
490 1 |a LNCS sublibrary. SL 2, Programming and software engineering 
504 |a Obsahuje bibliografii a rejstřík. 
538 |a Způsob přístupu: WWW 
650 0 7 |a softwarové inženýrství  |7 ph125825  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 7 |a testování softwaru  |7 ph173828  |2 czenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
700 1 |a Leue, Stefan,  |d 1962-  |7 xx0037424  |4 edt 
700 1 |a Merino, Pedro  |4 edt 
830 0 |a Lecture notes in computer science 
830 0 |a LNCS sublibrary.  |p Programming and software engineering 
856 4 1 |u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/978-3-540-79707-4  |y Plný text 
910 |a ZLD002 
942 |2 udc 
992 |a ER  |c SPRINGER 
993 |x NEPOSILAT  |y EIZ 

Similar Items