schliessen

Filtern

 

Bibliotheken

Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial ... (eds.)

PPN (Catalogue-ID): 595121853
Personen: Abrial, Jean-Raymond
Format: eBook eBook
Language: English
Published: Berlin [u.a.], Springer, 1996
Series: Lecture notes in computer science (1165)
Basisklassifikation: 54.80
54.51
Subjects:

Computer Communication Networks

Programming Techniques

Computer Science

Logics and Meanings of Programs

Programming Languages, Compilers, Interpreters

Systems and Information Theory in Engineering

Software Engineering

Dampferzeuger / Formale Spezifikationstechnik

Formale Methode

Formangabe: Konferenzschrift (1995 , Dagstuhl)
Notes: Literaturangaben
Physical Description: Online-Ressource (VIII, 509 S.)
Link: Inhaltstext
Sekundärausgabe Online-Ausg., Berlin [u.a.], Springer, 2006, Springer Lecture Notes Archive

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 14480cam a2202497 4500
001 595121853
003 DE-627
005 20190724201310.0
007 cr uuu---uuuuu
008 090328s1996 xx |||||o 10| ||eng c
024 7 |a 10.1007/BFb0027227  |2 doi 
035 |a (DE-627)595121853 
035 |a (DE-599)GBV595121853 
035 |a (OCoLC)845508296 
035 |a (DE-601)NLM003725987 
035 |a (ZBM)1060.68501 
035 |a (DE-He213)978-3-540-49566-6 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE-BE 
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 
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 Online-Ressource (VIII, 509 S.) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture notes in computer science  |v 1165 
500 |a Literaturangaben 
533 |a Online-Ausg.  |b Berlin [u.a.]  |c Springer  |d 2006  |7 |2006||||||||||  |f Springer Lecture Notes Archive 
650 4 |a Computer Communication Networks 
650 4 |a Programming Techniques 
650 4 |a Computer Science 
650 4 |a Logics and Meanings of Programs 
650 4 |a Programming Languages, Compilers, Interpreters 
650 4 |a Systems and Information Theory in Engineering 
650 4 |a Software Engineering 
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 1 |z 3540619291  |9 3-540-61929-1 
776 1 |z 9783540619291  |9 978-3-540-61929-1 
776 0 8 |i Druckausg.  |t Formal methods for industrial applications  |d Berlin [u.a.] : Springer, 1996  |h VIII, 509 S.  |w (DE-627)216424003  |z 3540619291 
830 0 |a Lecture notes in computer science  |v 1165  |9 116500  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349 
856 4 0 |u http://www.springerlink.com/content/j26772223831  |x Verlag  |z Lizenzpflichtig  |3 Volltext 
856 4 0 |u http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-61929-1  |x Verlag  |z Lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/BFb0027227  |x Resolving-System  |z Lizenzpflichtig  |3 Volltext 
856 4 2 |u http://zbmath.org/?q=an:1060.68501  |m V:DE-601  |m B:ZBM  |q pdf/application  |v 2014-03-10  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-1-SLN 
912 |a ZDB-2-SCS  |b 1996 
912 |a ZDB-2-LNC  |b 1996 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_11 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a SSG-OPC-MAT 
912 |a GBV_ILN_20 
912 |a GBV_ILN_21 
912 |a GBV_ILN_22 
912 |a GBV_ILN_23 
912 |a GBV_ILN_24 
912 |a GBV_ILN_30 
912 |a GBV_ILN_31 
912 |a GBV_ILN_32 
912 |a GBV_ILN_40 
912 |a GBV_ILN_60 
912 |a GBV_ILN_62 
912 |a GBV_ILN_63 
912 |a GBV_ILN_65 
912 |a GBV_ILN_69 
912 |a GBV_ILN_73 
912 |a GBV_ILN_100 
912 |a GBV_ILN_101 
912 |a GBV_ILN_110 
912 |a GBV_ILN_118 
912 |a GBV_ILN_120 
912 |a GBV_ILN_130 
912 |a GBV_ILN_160 
912 |a GBV_ILN_161 
912 |a GBV_ILN_164 
912 |a GBV_ILN_170 
912 |a GBV_ILN_187 
912 |a GBV_ILN_191 
912 |a GBV_ILN_252 
912 |a GBV_ILN_252_i13e 
912 |a GBV_ILN_285 
912 |a GBV_ILN_293 
912 |a GBV_ILN_374 
912 |a GBV_ILN_381 
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 11  |1 01  |b 1221293710  |f 5  |g Bestand: . - Zugriff für registrierte Benutzer in den Lesesälen der SBB  |h OLR-NL-SLN  |x 0001  |y k  |z 26-01-11 
980 |2 20  |1 01  |b 202662195  |h OLR-SEB  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0084  |y z  |z 17-07-09 
980 |2 21  |1 01  |b 201772426  |h ebook_LNCS  |k Freie Nutzung im Campusnetz der Universität und der Hochschulen im Lande Bremen. - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.  |x 0046  |y zza  |z 03-04-09 
980 |2 22  |1 01  |b 1162765623  |h olr-nl-sln  |x 0018  |y zu  |z 17-05-10 
980 |2 23  |1 01  |b 202421449  |h olr-LNCS  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. Nationallizenz durch Förderung der DFG.  |x 0830  |y z  |z 09-07-09 
980 |2 24  |1 01  |b 202685861  |h olr-lncs  |x 0008  |y z  |z 18-07-09 
980 |2 30  |1 01  |b 3503721908  |h OLR-SLN  |k Nationallizenz. - Der deutschlandweite Zugriff auf diesen Titel wird durch die Förderung der Deutschen Forschungsgemeinschaft ermöglicht. - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.  |l Nationallizenz Springer Lecture Notes  |x 0104  |y z  |z 03-08-19 
980 |2 31  |1 01  |b 1114758914  |h OLR-SEB  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.  |x 0027  |y z  |z 23-02-10 
980 |2 32  |1 01  |b 202727017  |f Internet  |d Online-Ressource  |k Campuslizenz TU Ilmenau  |x 3400  |y z  |z 20-07-09 
980 |2 40  |1 01  |b 1273482158  |h OLR-NL-SPRINGER-SLN-COMP  |k Im Campusnetz sowie für Angehörige der Universität Göttingen auch extern über Authentifizierungsmodul zugänglich  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0007  |y xsn  |z 21-10-11 
980 |2 60  |1 01  |b 1159760365  |h Olr-seb-sln  |k Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung  |x 0705  |y z  |z 06-05-10 
980 |2 62  |1 01  |b 202638510  |h OLR-SEB  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0028  |y z  |z 17-07-09 
980 |2 63  |1 01  |b 20269769X  |h OLR-Springer LNCS  |x 3401  |y z  |z 18-07-09 
980 |2 65  |1 01  |b 202626679  |d ebook  |h OLR-SEB  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0003  |y k3o  |z 17-07-09 
980 |2 69  |1 01  |b 1173491805  |h OLR-NL-SLN  |x 0009  |y z  |z 26-07-10 
980 |2 73  |1 01  |b 1670352250  |h OLR-SLN  |x 0095  |y z  |z 10-03-17 
980 |2 100  |1 01  |b 1196436061  |d ebook SpringerLectureNotes  |h olr-SpringerLectureNotes  |x 3100  |y z  |z 18-11-10 
980 |2 101  |1 01  |b 1196472017  |d ebook SpringerLectureNotes  |h olr-SpringerLectureNotes  |x 3101  |y z  |z 18-11-10 
980 |2 110  |1 01  |b 1217408746  |h OLR-NL-SLN  |x 3110  |y z  |z 07-01-11 
980 |2 118  |1 01  |b 1586803883  |h OLR-SEB-NL  |x 3329  |y z1  |z 05-12-15 
980 |2 120  |1 01  |b 927641240  |h OLR-ESP  |k Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.  |x 0715  |y z  |z 01-04-09 
980 |2 120  |1 04  |b 1753686229  |e n  |h alma  |x 0715  |y l04  |z 22-02-18 
980 |2 130  |1 01  |b 202650359  |h OLR-LNCS  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0700  |y z  |z 17-07-09 
980 |2 160  |1 01  |b 1263869777  |h OLR-SLN  |x 0755  |y z  |z 06-08-11 
980 |2 161  |1 01  |b 1172937125  |h OLR-LNCS  |x 0960  |y z  |z 23-07-10 
980 |2 164  |1 01  |b 203357027  |h OLR-ESP  |x 0916  |y z  |z 30-07-09 
980 |2 170  |1 01  |b 1382286511  |h OLR-SLN  |k Zugriff über DFG-Nationallizenz. Vervielfältigungen (z. B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 3027  |y z  |z 20-04-13 
980 |2 187  |1 01  |b 1823523145  |h OLR-SLN  |x 3520  |y z  |z 01-11-18 
980 |2 191  |1 01  |b 1222072181  |h OLR-NL-SLN  |x 3524  |y z  |z 31-01-11 
980 |2 252  |1 01  |b 1309532508  |f MRI  |e g  |x 4252  |y zi13e  |z 27-06-12 
980 |2 285  |1 01  |b 202674029  |f 1960  |e s  |h OLR-LNS  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0517  |y z  |z 17-07-09 
980 |2 293  |1 01  |b 1172973059  |h OLR-LNCS  |x 3293  |y z  |z 23-07-10 
980 |2 374  |1 01  |b 1194832857  |x 2030  |y x  |z 08-11-10 
980 |2 381  |1 01  |b 3496743794  |h OLR-1-SLN  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.  |x 4381  |y z  |z 24-07-19 
981 |2 11  |1 01  |r http://erf.sbb.spk-berlin.de/han/512881081/dx.doi.org/10.1007/BFb0027227 
981 |2 20  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 21  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 22  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 22  |1 01  |y Volltextzugang von außerhalb des Campus  |r http://emedien.sub.uni-hamburg.de/han/SpringerEbooks/dx.doi.org/10.1007/BFb0027227 
981 |2 23  |1 01  |y Springer EBook  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 24  |1 01  |y E-Books (Springer-LNCS)  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 30  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 31  |1 01  |y e-book Springer  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 40  |1 01  |y Volltext, Campuszugriff  |y ZZ  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 40  |1 01  |y Volltext, Externer Zugriff  |y ZZ  |r http://han.sub.uni-goettingen.de/han/SpringerLectureNotesinComputerScience/dx.doi.org/10.1007/BFb0027227 
981 |2 60  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 62  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 63  |1 01  |y E-Books (Springer-LNCS)  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 65  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 69  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 73  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 100  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 100  |1 01  |y für Uniangehörige: Zugang weltweit  |r http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/BFb0027227 
981 |2 101  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 101  |1 01  |y für Uniangehörige: Zugang weltweit  |r http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/BFb0027227 
981 |2 110  |1 01  |y E-Books (Springer)  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 118  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 120  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 120  |1 04  |r http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991010435439703501 
981 |2 130  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 160  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 161  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 164  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 170  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 187  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 191  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 252  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 285  |1 01  |y E-books (Springer)  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 293  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
981 |2 381  |1 01  |r http://dx.doi.org/10.1007/BFb0027227 
982 |2 31  |1 01  |8 00  |a e-book Springer LNCS 
983 |2 32  |1 00  |8 00  |a SS 4800 
983 |2 120  |1 00  |8 99  |a ww 
983 |2 120  |1 04  |8 00  |a ww 
984 |2 120  |1 01  |a 20656651 
985 |2 22  |1 01  |a olrm 
985 |2 32  |1 01  |a OLR-Springer-LNCS 
985 |2 120  |1 01  |a YL 0106 
995 |2 11  |1 01  |a OLR-NL-SLN 
995 |2 20  |1 01  |a OLR-SEB 
995 |2 21  |1 01  |a ebook_LNCS 
995 |2 22  |1 01  |a olr-nl-sln 
995 |2 23  |1 01  |a olr-LNCS 
995 |2 24  |1 01  |a olr-lncs 
995 |2 30  |1 01  |a OLR-SLN 
995 |2 31  |1 01  |a OLR-SEB 
995 |2 40  |1 01  |a OLR-NL-SPRINGER-SLN-COMP 
995 |2 60  |1 01  |a Olr-seb-sln 
995 |2 62  |1 01  |a OLR-SEB 
995 |2 63  |1 01  |a OLR-Springer LNCS 
995 |2 65  |1 01  |a OLR-SEB 
995 |2 69  |1 01  |a OLR-NL-SLN 
995 |2 73  |1 01  |a OLR-SLN 
995 |2 100  |1 01  |a olr-SpringerLectureNotes 
995 |2 101  |1 01  |a olr-SpringerLectureNotes 
995 |2 110  |1 01  |a OLR-NL-SLN 
995 |2 118  |1 01  |a OLR-SEB-NL 
995 |2 120  |1 01  |a OLR-ESP 
995 |2 120  |1 04  |a alma 
995 |2 130  |1 01  |a OLR-LNCS 
995 |2 160  |1 01  |a OLR-SLN 
995 |2 161  |1 01  |a OLR-LNCS 
995 |2 164  |1 01  |a OLR-ESP 
995 |2 170  |1 01  |a OLR-SLN 
995 |2 187  |1 01  |a OLR-SLN 
995 |2 191  |1 01  |a OLR-NL-SLN 
995 |2 285  |1 01  |a OLR-LNS 
995 |2 293  |1 01  |a OLR-LNCS 
995 |2 381  |1 01  |a OLR-1-SLN 
998 |2 23  |1 01  |0 2009.07.09