schliessen

Filtern

 

Bibliotheken

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) : 18 May 2015, Florence, Italy ; [held at] ICSE / sponsors: IEEE Computer Society, Technical Council on Software Engineering ...

PPN (Catalogue-ID): 843605235
Nebentitel: Proceedings / Third FME Workshop on Formal Methods in Software Engineering, Formalise 2015
Cooperations/Conferences: Institute of Electrical and Electronics Engineers
Association for Computing Machinery
Europäische Kommission Formal Methods Europe
IEEE Computer Society Technical Council on Software Engineering
Format: eBook eBook
Language: English
Published: Piscataway, NJ, IEEE, 2015
Basisklassifikation: 54.52
54.10
Subjects:

Formale Methode

Formangabe: Konferenzschrift
Notes: Title from content provider.
Physical Description: Online-Ressource
ISBN: 978-1-4673-7044-8
1-4673-7044-4
978-1-4673-7044-8

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 07199cam a2201225 4500
001 843605235
003 DE-627
005 20190301173903.0
007 cr uuu---uuuuu
008 151211s2015 xx |||||o 10| ||eng c
020 |a 9781467370448  |9 978-1-4673-7044-8 
020 |a 1467370444  |9 1-4673-7044-4 
020 |a 9781467370448  |9 978-1-4673-7044-8 
035 |a (DE-627)843605235 
035 |a (DE-576)9843605233 
035 |a (DE-599)GBV843605235 
035 |a (OCoLC)931989778 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XD-US 
084 |a 54.52  |2 bkl 
084 |a 54.10  |2 bkl 
245 1 0 |a 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)  |b 18 May 2015, Florence, Italy ; [held at] ICSE  |c sponsors: IEEE Computer Society, Technical Council on Software Engineering ... 
246 1 |i Nebent.  |a Proceedings / Third FME Workshop on Formal Methods in Software Engineering, Formalise 2015 
264 1 |a Piscataway, NJ  |b IEEE  |c 2015 
300 |a Online-Ressource 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
500 |a Title from content provider. 
591 |a ***Vollst. Angaben zur übergeordneten Tagung (ICSE) im Internet ermittelt. <89/ra/11.12.15>*** (GBV) 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 |5 (DE-627) 
710 2 |a Institute of Electrical and Electronics Engineers  |0 (DE-588)1692-5  |0 (DE-627)100026842  |0 (DE-576)190140712 
710 2 |a Association for Computing Machinery  |0 (DE-588)1222-1  |0 (DE-627)100011292  |0 (DE-576)190136715 
710 2 |a Europäische Kommission  |b Formal Methods Europe  |0 (DE-588)5108412-0  |0 (DE-627)156549980  |0 (DE-576)194878791 
710 2 |a IEEE Computer Society  |b Technical Council on Software Engineering  |0 (DE-588)5131088-0  |0 (DE-627)186236328  |0 (DE-576)195286693 
776 1 |z 9781479919345  |9 978-1-4799-1934-5 
776 1 |z 9781467370431  |9 978-1-4673-7043-1 
856 4 0 |u http://ieeexplore.ieee.org/servlet/opac?punumber=7166199  |q application/PDF  |z Lizenzpflichtig 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_22 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_22_i22818 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_23 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_31 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_32 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_60 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_62 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_70 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_118 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_147 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_160 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_164 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_187 
912 |a ZDB-37-IEL 
912 |a GBV_ILN_2006 
936 b k |a 54.52  |j Software engineering  |0 (DE-627)106418882 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
951 |a BO 
980 |2 22  |1 01  |b 1589610687  |h ILNemk  |k IEEE Konferenzband. Campusweite Lizenz für die Universität Hamburg. Volltext.  |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.  |l h228 2015.12.02  |x 0018  |y zi22818  |z 11-12-15 
980 |2 23  |1 01  |b 1692619144  |h olr-ieee  |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 0830  |y z  |z 05-06-17 
980 |2 31  |1 01  |b 1602356823  |h ZDB-37-IEL  |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 0027  |y z  |z 15-02-16 
980 |2 32  |1 01  |b 1589546601  |f Internet  |d Online-Ressource  |k Campuslizenz TU Ilmenau  |x 3400  |y k  |z 11-12-15 
980 |2 60  |1 01  |b 161750565X  |h IEEEXplore  |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 0705  |y z  |z 31-05-16 
980 |2 62  |1 01  |b 1743473583  |h OLR-IEEE  |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 23-01-18 
980 |2 70  |1 01  |b 1589534719  |k IEEE Konferenzpaket. Kopienbestellung möglich. Campusfrei Universität Hannover; Volltext. Printausg. vorh. unter der Signatur RT 2507(3)  |x 0089  |y z  |z 11-12-15 
980 |2 118  |1 01  |b 174637201X  |h OLR-IEEE  |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 3329  |y z1  |z 31-01-18 
980 |2 147  |1 01  |b 1746574283  |k Campuslizenz für Rechner der ZHB, Fachhochschule  |x 3528  |y z  |z 31-01-18 
980 |2 160  |1 01  |b 1741553784  |h OLR-FREE  |k Campusweiter Zugriff (Hochschule Emden/Leer). 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 0755  |y z  |z 16-01-18 
980 |2 164  |1 01  |b 1746216425  |h OLR-IEL  |k Zugriff nur aus dem Hochschulnetz. Vervielfältigungen nur für den eigenen wissenschaftlichen Gebrauch  |x 0916  |y z  |z 31-01-18 
980 |2 187  |1 01  |b 1721003819  |h OLR-IEL  |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 3520  |y z  |z 07-11-17 
980 |2 2006  |1 01  |b 3482194580  |x 20301  |y l01  |z 07-06-19 
981 |2 32  |1 01  |y ZZ  |r http://ieeexplore.ieee.org/servlet/opac?punumber=7166199 
981 |2 62  |1 01  |r http://ieeexplore.ieee.org/servlet/opac?punumber=7166199 
981 |2 70  |1 01  |y ZZ  |r http://ieeexplore.ieee.org/servlet/opac?punumber=7166199 
981 |2 118  |1 01  |r http://ieeexplore.ieee.org/servlet/opac?punumber=7166199 
981 |2 164  |1 01  |r http://ieeexplore.ieee.org/servlet/opac?punumber=7166199 
981 |2 2006  |1 01  |r http://ieeexplore.ieee.org/servlet/opac?punumber=7166199 
982 |2 31  |1 01  |8 00  |a eBook IEEE Conference Proceedings 
985 |2 22  |1 01  |a h228 MIN olrm 
985 |2 32  |1 01  |a OLR-IEEE-Proc 
995 |2 22  |1 01  |a ILNemk 
995 |2 23  |1 01  |a olr-ieee 
995 |2 31  |1 01  |a ZDB-37-IEL 
995 |2 60  |1 01  |a IEEEXplore 
995 |2 62  |1 01  |a OLR-IEEE 
995 |2 118  |1 01  |a OLR-IEEE 
995 |2 160  |1 01  |a OLR-FREE 
995 |2 164  |1 01  |a OLR-IEL 
995 |2 187  |1 01  |a OLR-IEL 
998 |2 23  |1 01  |0 2017.06.05