Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial ... (eds.)
| PPN (Catalogue-ID): | 216424003 |
| Personen: |
Abrial, Jean-Raymond
|
| Format: |
 Book
|
| Language: |
English |
| Published: |
Berlin [u.a.],
Springer,
1996 |
| Series: |
Lecture notes in computer science
(1165)
|
| Basisklassifikation: |
54.80 54.51 |
| Subjects: | |
| Formangabe: | Konferenzschrift (1995 , Dagstuhl) |
| Notes: |
Literaturangaben |
| Physical Description: |
VIII, 509 S, Ill., graph. Darst. + 1 CD-ROM (12 cm) |
| Link: |
Inhaltstext |
| ISBN: |
3-540-61929-1 |
Similar Items
Staff View
| LEADER | 06874cam a2201573 4500 | ||
|---|---|---|---|
| 001 | 216424003 | ||
| 003 | DE-627 | ||
| 005 | 20190309234828.0 | ||
| 007 | tu | ||
| 008 | 961016s1996 xx ||||| 10| ||eng c | ||
| 015 | |a 96,N43,0332 |2 dnb | ||
| 016 | 7 | |a 949266191 |2 DE-101 | |
| 020 | |a 3540619291 |c : DM 98.00 (kart.) |9 3-540-61929-1 | ||
| 035 | |a (DE-627)216424003 | ||
| 035 | |a (DE-599)GBV216424003 | ||
| 035 | |a (OCoLC)845288660 | ||
| 035 | |a (ZBM)1060.68501 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-DE |c XD-US |c XA-ES | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a *68-06 |2 MSC | ||
| 084 | |a 68U99 |2 MSC | ||
| 084 | |a 00B15 |2 MSC | ||
| 084 | |a 54.80 |2 bkl | ||
| 084 | |a 54.51 |2 bkl | ||
| 090 | |a a | ||
| 245 | 1 | 0 | |a Formal methods for industrial applications |b specifying and programming the steam boiler control |c Jean-Raymond Abrial ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a VIII, 509 S. |b Ill., graph. Darst. |e 1 CD-ROM (12 cm) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1165 | |
| 500 | |a Literaturangaben | ||
| 655 | 7 | |a Konferenzschrift |y 1995 |z Dagstuhl |0 (DE-588)1071861417 |0 (DE-627)826484824 |0 (DE-576)433375485 |2 gnd-content | |
| 689 | 0 | 0 | |D s |0 (DE-588)4010983-5 |0 (DE-627)106354892 |0 (DE-576)208891226 |a Dampferzeuger |2 gnd |
| 689 | 0 | 1 | |D s |0 (DE-588)4299725-2 |0 (DE-627)104118490 |0 (DE-576)211020982 |a Formale Spezifikationstechnik |2 gnd |
| 689 | 0 | |5 DE-101 | |
| 689 | 1 | 0 | |D s |0 (DE-588)4333722-3 |0 (DE-627)148061516 |0 (DE-576)21134253X |a Formale Methode |2 gnd |
| 689 | 1 | |5 (DE-627) | |
| 700 | 1 | |a Abrial, Jean-Raymond | |
| 776 | 0 | 8 | |i Online-Ausg. |t Formal methods for industrial applications |d Berlin [u.a.] : Springer, 1996 |h Online-Ressource (VIII, 509 S.) |w (DE-627)595121853 |
| 830 | 0 | |a Lecture notes in computer science |v 1165 |9 116500 |w (DE-627)129300152 |w (DE-576)014492687 |w (DE-600)121909-1 |x 0302-9743 | |
| 856 | 4 | 2 | |u http://zbmath.org/?q=an:1060.68501 |m V:DE-601 |m B:ZBM |q pdf/application |v 2016-04-14 |x Verlag |y Zentralblatt MATH |3 Inhaltstext |
| 912 | |a GBV_ILN_20 | ||
| 912 | |a SYSFLAG_1 | ||
| 912 | |a GBV_KXP | ||
| 912 | |a SSG-OPC-MAT | ||
| 912 | |a GBV_ILN_21 | ||
| 912 | |a GBV_ILN_22 | ||
| 912 | |a GBV_ILN_23 | ||
| 912 | |a GBV_ILN_24 | ||
| 912 | |a GBV_ILN_24_f601 | ||
| 912 | |a GBV_ILN_30 | ||
| 912 | |a GBV_ILN_31 | ||
| 912 | |a GBV_ILN_32 | ||
| 912 | |a GBV_ILN_40 | ||
| 912 | |a GBV_ILN_62 | ||
| 912 | |a GBV_ILN_70 | ||
| 912 | |a GBV_ILN_100 | ||
| 912 | |a GBV_ILN_105 | ||
| 912 | |a GBV_ILN_120 | ||
| 912 | |a GBV_ILN_150 | ||
| 935 | |i sf | ||
| 936 | b | k | |a 54.80 |j Angewandte Informatik |0 (DE-627)106417967 |
| 936 | b | k | |a 54.51 |j Programmiermethodik |0 (DE-627)106418122 |
| 951 | |a BO | ||
| 980 | |2 20 |1 01 |b 221102671 |d 2747-7551 |x 0084 |y k |z 02-12-96 | ||
| 980 | |2 21 |1 01 |b 225267160 |d 02.p.4072 |e z |h unc_201702 |x 0046 |y rza |z 06-02-17 | ||
| 980 | |2 22 |1 03 |b 246916192 |f SUB |d X/12948: 1165 |h SUBarSBHH |x 0018 |y zu |z 18-07-97 | ||
| 980 | |2 23 |1 01 |b 227225597 |f 27 |d 2777-5279 |x 0830 |y z |z 31-01-97 | ||
| 980 | |2 24 |1 01 |b 246552417 |f 8/60a |d LNCS;1165 R-29607 |e i |d Magazin 007 |h rf |k Buch |x 0008 |y zf601 |z 15-07-97 | ||
| 980 | |2 24 |1 02 |b 246552867 |f 8/60a |d E-Medien D-71167 |e i |d Aufsicht |h rf |k CD-ROM |x 0008 |y zf601 |z 15-07-97 | ||
| 980 | |2 30 |1 01 |b 1433146444 |d Ra 396 Bd 1165 |e u |x 0104 |y z |z 12-09-13 | ||
| 980 | |2 31 |1 01 |b 227732790 |f J 50 |d INF:::LNCS:1165:1996 |e d |x 0027 |y z |z 18-06-99 | ||
| 980 | |2 32 |1 01 |b 221042199 |f 93 |d INF 3490 |e u |l ;1=Quelle pros... ;2=Ex 1... ;2.1=... ;2.2=... ;2.3=... ;2.4=... ;3=Preis 98,00... ;4=UK c52... ;5=Sto 53=INF... ;5.1=... ;5.2=... ;5.3=... ;5.4=... ;6=vhd FremdL ... ;8=RechnNr 1330/96... ;9=RechnDat 25.11.96... ;10=Rabatt %5... ;11=BestDat ... ;12=BestArt z.Forts.... ;13=Lief 1... ;14=Bemerk ... ;7=BearbSt ... |x 3400 |y ky |z 28-09-01 | ||
| 980 | |2 40 |1 01 |b 246200464 |f GMAG |d 97 A 23095 |e u |x 0007 |y ksn |z 18-11-97 | ||
| 980 | |2 62 |1 01 |b 227787986 |f 28/BB1-MAG |d SS 4800-1165 |e u |d SA 160 (1165) |k Buch |x 0028 |y zi095 |z 06-02-97 | ||
| 980 | |2 62 |1 02 |b 407669213 |f 28/BB1-NBM |d SS 4800-1165-CD |e u |d SA 160 (1165,CD) |k CD-ROM |x 0028 |y zi095c |z 30-10-00 | ||
| 980 | |2 70 |1 01 |b 223540935 |d RN 2835(1165) |x 0089 |y z |z 17-12-96 | ||
| 980 | |2 100 |1 01 |b 277803551 |f FH |d 1998 a 4794:1 |e u |x 3100 |y k |z 12-06-98 | ||
| 980 | |2 100 |1 02 |b 286439913 |f FH |d 1998 a 4794:2 |e u |x 3100 |y k |z 12-06-98 | ||
| 980 | |2 105 |1 01 |b 221080996 |f Mag |d 2260 AZ:1165 |e u |k Buch |x 0841 |y z |z 02-12-96 | ||
| 980 | |2 105 |1 02 |b 221081003 |f AV |d 1996 CD 55 |e u |k CD-ROM |x 0841 |y z |z 02-12-96 | ||
| 980 | |2 120 |1 01 |b 781892953 |d inf 001 k SA 0603-1165 |e u |h alma |k mp |k mp |x 0715 |y z |z 21-03-02 | ||
| 980 | |2 120 |1 02 |b 781892961 |f 423 |d F inf 001 k YF 3076-[1] |e g |h alma |k mp |k mp |x 0715 |y z |z 21-03-02 | ||
| 980 | |2 120 |1 03 |b 781892988 |f 423 |d F inf 001 k YF 3076-[1] |e g |h alma |k mp |k mp |x 0715 |y z |z 21-03-02 | ||
| 980 | |2 150 |1 01 |b 259619663 |f Mag1 |d 54.80,11-97/06102 |e u |x 3406 |y z |z 20-05-09 | ||
| 983 | |2 21 |1 00 |8 99 |a 92 | ||
| 983 | |2 31 |1 00 |8 00 |a INF | ||
| 983 | |2 32 |1 00 |8 00 |a 23550a Informationsverarbeitung, Schriftenreihe | ||
| 983 | |2 40 |1 00 |8 00 |0 (DE-601)619939842 |a AHD 100 |b Programming Techniques {Computing} | ||
| 983 | |2 40 |1 00 |8 01 |0 (DE-601)619939931 |a AHD 200 |b Software Engineering {Computing} | ||
| 983 | |2 40 |1 00 |8 02 |0 (DE-601)619940093 |a AHD 310 |b Formal Definitions and Theory {Computing. Programming Languages} | ||
| 983 | |2 40 |1 00 |8 03 |0 (DE-601)61994045X |a AHF 310 |b Specifying and Verifying and Reasoning about Programs {Theory of Computation. Logics and Meanings of Programs} | ||
| 983 | |2 100 |1 00 |8 00 |a Y. 49 | ||
| 983 | |2 120 |1 00 |8 99 |a mp | ||
| 984 | |2 20 |1 01 |a 84$027477551 | ||
| 984 | |2 21 |1 01 |a 46$0005172012 | ||
| 984 | |2 22 |1 03 |a 918258443 | ||
| 984 | |2 23 |1 01 |a 830$27775279 |x 00 | ||
| 984 | |2 30 |1 01 |a 104$07283733 | ||
| 984 | |2 31 |1 01 |a 27$000006459 | ||
| 984 | |2 32 |1 01 |a ILM1$001366238 | ||
| 984 | |2 40 |1 01 |a 7$206314183 |x 00 | ||
| 984 | |2 62 |1 02 |a 28$004197941 | ||
| 984 | |2 70 |1 01 |a 89$114059519 | ||
| 984 | |2 100 |1 01 |a MA9$002858037 | ||
| 984 | |2 100 |1 02 |a MA9$002858053 | ||
| 984 | |2 105 |1 01 |a 841$0000002607 | ||
| 984 | |2 105 |1 02 |a 841$9000010055 | ||
| 984 | |2 120 |1 01 |a 1282457X | ||
| 984 | |2 120 |1 02 |a 1298766X | ||
| 984 | |2 120 |1 03 |a 12987681 |x 00 | ||
| 984 | |2 150 |1 01 |a 9706102 | ||
| 985 | |2 21 |1 01 |a tb 7056 | ||
| 985 | |2 24 |1 01 |a R-29607 | ||
| 985 | |2 24 |1 02 |a D-71167 | ||
| 985 | |2 31 |1 01 |a A96/K/7132 | ||
| 985 | |2 32 |1 01 |a 93 A 5495-1165 | ||
| 985 | |2 62 |1 01 |a SA 160 (1165) | ||
| 985 | |2 62 |1 02 |a SA 160 (1165,CD) | ||
| 985 | |2 105 |1 01 |a 2260 AZ:1165 | ||
| 985 | |2 105 |1 02 |a 1996 CD 55 | ||
| 985 | |2 150 |1 01 |a 97/06102 | ||
| 995 | |2 21 |1 01 |a unc_201702 | ||
| 995 | |2 22 |1 03 |a SUBarSBHH | ||
| 995 | |2 24 |1 01 |a rf | ||
| 995 | |2 24 |1 02 |a rf | ||
| 995 | |2 120 |1 01 |a alma | ||
| 995 | |2 120 |1 02 |a alma | ||
| 995 | |2 120 |1 03 |a alma | ||
| 998 | |2 40 |1 01 |0 1997-11 |a 7 | ||