|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
34a7d527-0cac-4d18-b9ae-35c77d941d39 |
| 005 |
20240707000000.0 |
| 008 |
051104s2005 gw a ob 101 0 eng d |
| 010 |
|
|
|a 2005934587
|
| 015 |
|
|
|a GBA600388
|2 bnb
|
| 016 |
7 |
|
|a 976632691
|2 GyFmDB
|
| 016 |
7 |
|
|a 013341273
|2 Uk
|
| 020 |
|
|
|a 3540297979 (pbk.)
|
| 020 |
|
|
|a 9783540297970
|
| 035 |
|
|
|a (OCoLC)62229950
|
| 040 |
|
|
|a OHX
|c OHX
|d CUS
|d UKM
|
| 050 |
|
4 |
|a QA76.9.F67
|b I5788 2005
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 082 |
0 |
4 |
|a 005.131
|2 22
|
| 111 |
2 |
|
|a International Conference on Formal Engineering Methods
|n (7th :
|d 2005 :
|c Manchester, England)
|
| 245 |
1 |
0 |
|a Formal methods and software engineering :
|b 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
|c Kung-Kiu Lau, Richard Banach (eds.).
|
| 246 |
1 |
0 |
|a 7th International Conference on Formal Engineering Methods
|
| 246 |
1 |
0 |
|a International Conference on Formal Engineering Methods
|
| 246 |
1 |
0 |
|a ICFEM 2005
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c ©2005.
|
| 300 |
|
|
|a xiv, 496 pages :
|b illustrations ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|b c
|2 rdamedia
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|b cr
|2 rdacarrier
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 3785
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses
|
| 650 |
|
0 |
|a Software engineering
|v Congresses
|
| 650 |
|
6 |
|a Génie logiciel
|v Congrès.
|
| 650 |
|
6 |
|a Méthodes formelles (Informatique)
|v Congrès.
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 (OCoLC)fst00932926
|
| 650 |
|
7 |
|a Software engineering
|2 fast
|0 (OCoLC)fst01124185
|
| 653 |
1 |
|
|a Software engineering
|
| 653 |
1 |
|
|a Formal engineering methods
|
| 653 |
1 |
|
|a ICFEM
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|0 (OCoLC)fst01423772
|
| 700 |
1 |
|
|a Lau, K.-K.
|q (Kung-Kiu),
|d 1953-
|
| 700 |
1 |
|
|a Banach, Richard
|
| 830 |
|
0 |
|a Lecture notes in computer science
|v 3785.
|
| 999 |
1 |
0 |
|i 34a7d527-0cac-4d18-b9ae-35c77d941d39
|l 9920399130001701
|s US-MNU
|m formal_methods_and_software_engineering7th_international_conference_on_____2005_______sprina________________________________________international_confer_______________p
|
| 999 |
1 |
1 |
|l 9920399130001701
|s ISIL:US-MNU
|i University of Minnesota
|t BKS
|a TSCIGEN
|c QA76.9.F67 I5788 2005
|d LCC
|b 31951P00919706X
|x BOOK
|y 23340729780001701
|p LOANABLE
|