schliessen

Filtern

 

Bibliotheken

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 Book
Language: English
Published: Berlin [u.a.], Springer, 1996
Series: Lecture notes in computer science (1165)
Basisklassifikation: 54.80
54.51
Subjects:

Dampferzeuger / Formale Spezifikationstechnik

Formale Methode

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

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

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