Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings

Bibliographische Detailangaben
Weitere beteiligte Personen: Abdulla, Parosh Aziz ; Leino, K. Rustan M. ; TACAS ; ETAPS
Format: E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] : Springer 2011
ISBN:9783642198359
364219835X
3642198341
9783642198342
Schriftenreihe:Lecture notes in computer science 6605
Anmerkung:Literaturangaben
Umfang:Online-Ressource (XVI, 394 S.)
DOI:10.1007/978-3-642-19835-9
Schlagworte:
Andere Ausgaben:Alle 2 Ausgaben anzeigen
QR-Code: QR-Code anzeigen
LEADER 10555cam a22016332 4500
001 655747583
003 DE-627
005 20190310051122.0
007 cr uuu---uuuuu
008 110405s2011 xx |||||o 10| ||eng c
020 |a 9783642198359  |9 978-3-642-19835-9 
024 7 |a 10.1007/978-3-642-19835-9  |2 doi 
035 |a (DE-627)655747583 
035 |a (DE-599)GBV655747583 
035 |a (OCoLC)837978780 
035 |a (ZBM)1213.68016 
035 |a (EBR)ebr10455854 
035 |a (DE-He213)9783642198359 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE-BE 
050 0 |a QA76.9.S88 
082 0 |a 004  |q BSZ 
082 0 4 |a 004  |q DNB 
084 |a SS 4800  |q BSZ  |2 rvk 
084 |a *68-06  |2 MSC 
084 |a 68Q60  |2 MSC 
084 |a 00B25  |2 MSC 
084 |a 54.50  |2 bkl 
245 1 0 |a Tools and algorithms for the construction and analysis of systems  |b 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings  |c Parosh Aziz Abdulla; K. Rustan M. Leino (eds.) 
264 1 |a Berlin [u.a.]  |b Springer  |c 2011 
300 |a Online-Ressource (XVI, 394 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 6605 
500 |a Literaturangaben 
530 |a Electronic reproduction; Available via World Wide Web 
533 |a Online-Ausg.  |d 2011  |7 |2011||||||||||  |f Springer eBook collection. Computer science  |n Electronic reproduction; Available via World Wide Web 
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)4116522-6  |0 (DE-627)104616369  |0 (DE-576)209502258  |a Softwareentwicklung  |2 gnd 
689 0 1 |D s  |0 (DE-588)4126945-7  |0 (DE-627)104636866  |0 (DE-576)209589426  |a Systementwicklung  |2 gnd 
689 0 2 |D s  |0 (DE-588)4135577-5  |0 (DE-627)104649100  |0 (DE-576)209661933  |a Verifikation  |2 gnd 
689 0 |5 DE-101 
689 1 0 |D s  |0 (DE-588)4196735-5  |0 (DE-627)105201693  |0 (DE-576)210109750  |a Theoretische Informatik  |2 gnd 
689 1 |5 DE-101 
689 2 0 |D s  |0 (DE-588)4047409-4  |0 (DE-627)106194682  |0 (DE-576)209073470  |a Programmiersprache  |2 gnd 
689 2 |5 DE-101 
700 1 |a Abdulla, Parosh Aziz 
700 1 |a Leino, K. Rustan M. 
711 2 |a TACAS  |n 17  |d 2011  |c Saarbrücken  |0 (DE-588)16105838-3  |0 (DE-627)654856907  |0 (DE-576)339384050 
711 2 |a ETAPS  |n 14  |d 2011  |c Saarbrücken  |0 (DE-588)16105839-5  |0 (DE-627)65485694X  |0 (DE-576)339384042 
776 1 |z 3642198341  |9 3-642-19834-1 
776 1 |z 9783642198342  |9 978-3-642-19834-2 
776 0 8 |i Druckausg.  |t Tools and algorithms for the construction and analysis of systems  |d Berlin : Springer, 2011  |h XVI, 394 S.  |w (DE-627)647264080  |w (DE-576)339486376  |z 3642198341  |z 9783642198342 
830 0 |a Lecture notes in computer science  |v 6605  |9 660500  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349 
856 4 0 |u http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10455854  |x Verlag  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-19835-9  |x Resolving-System  |z Lizenzpflichtig  |3 Volltext 
856 4 2 |u http://zbmath.org/?q=an:1213.68016  |m V:DE-601  |m B:ZBM  |q pdf/application  |v 2014-03-10  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a H-ZDB-2-SCS 
912 |a H-ZDB-2-LNC 
912 |a H-ZDB-38-EBR 
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_22_i22818 
912 |a GBV_ILN_23 
912 |a GBV_ILN_31 
912 |a GBV_ILN_32 
912 |a GBV_ILN_62 
912 |a GBV_ILN_70 
912 |a GBV_ILN_100 
912 |a GBV_ILN_101 
912 |a GBV_ILN_105 
912 |a GBV_ILN_120 
912 |a GBV_ILN_130 
912 |a GBV_ILN_285 
935 |h GBV  |i hybr 
936 r v |a SS 4800 
936 b k |a 54.50  |j Programmierung: Allgemeines  |0 (DE-627)181569876 
951 |a BO 
980 |2 20  |1 01  |b 1350472565  |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 0084  |y z  |z 09-01-13 
980 |2 21  |1 01  |b 1323420533  |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 31-08-12 
980 |2 22  |1 01  |b 1236465784  |h olrm-h228-scs  |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 h2282011.04  |x 0018  |y zi22818  |z 06-04-11 
980 |2 23  |1 01  |b 1285128095  |h olr-springer  |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 29-12-11 
980 |2 31  |1 01  |b 1236408187  |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 06-04-11 
980 |2 32  |1 01  |b 1236396529  |f Internet  |d Online-Ressource  |k Campuslizenz TU Ilmenau  |x 3400  |y z  |z 06-04-11 
980 |2 62  |1 01  |b 1236403231  |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 06-04-11 
980 |2 70  |1 01  |b 1236497139  |h OLR-SEB  |k Campusweiter Zugriff (Universität Hannover). - 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 0089  |y zesp  |z 06-04-11 
980 |2 100  |1 01  |b 123655387X  |d eBook Springer  |h OLR-SEB  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 3100  |y z  |z 06-04-11 
980 |2 101  |1 01  |b 1236578449  |d eBook Springer  |h OLR-SEB  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 3101  |y z  |z 06-04-11 
980 |2 105  |1 01  |b 1285179188  |h OLR-ESP  |k Campuslizenz Universität / Technische Hochschule Lübeck. - 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 0841  |y x  |z 30-12-11 
980 |2 120  |1 01  |b 1236400984  |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 06-04-11 
980 |2 120  |1 02  |b 1755109989  |e n  |h alma  |x 0715  |y l02  |z 22-02-18 
980 |2 130  |1 01  |b 1236607201  |h OLR-SEB  |k Vervielfältigungen (z. B. Kopien, Downloads) nur für den eigenen wissenschaftlichen Gebrauch. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots  |x 0700  |y z  |z 06-04-11 
980 |2 285  |1 01  |b 1236405552  |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 06-04-11 
981 |2 20  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 21  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 22  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 22  |1 01  |y Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus  |r http://emedien.sub.uni-hamburg.de/han/SpringerEbooks/dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 23  |1 01  |y Springer EBook  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 31  |1 01  |y e-book Springer  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 62  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 70  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 100  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 100  |1 01  |y für Uniangehörige: Zugang weltweit  |r http://han.med.uni-magdeburg.de/han/SPR-eBook-ComputerScience-einzeln/dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 101  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 101  |1 01  |y für Uniangehörige: Zugang weltweit  |r http://han.med.uni-magdeburg.de/han/SPR-eBook-ComputerScience-einzeln/dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 105  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 120  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 120  |1 02  |r http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991002135899703501 
981 |2 130  |1 01  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
981 |2 285  |1 01  |y E-books (Springer)  |r http://dx.doi.org/10.1007/978-3-642-19835-9 
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 02  |8 00  |a ww 
983 |2 285  |1 00  |8 00  |a SS 4800 
984 |2 120  |1 01  |a 2182742X 
985 |2 32  |1 01  |a OLR-Springer-LNCS 
985 |2 120  |1 01  |a YL 0106 
995 |2 20  |1 01  |a OLR-SEB 
995 |2 21  |1 01  |a ebook_LNCS 
995 |2 22  |1 01  |a olrm-h228-scs 
995 |2 23  |1 01  |a olr-springer 
995 |2 31  |1 01  |a OLR-SEB 
995 |2 62  |1 01  |a OLR-SEB 
995 |2 70  |1 01  |a OLR-SEB 
995 |2 100  |1 01  |a OLR-SEB 
995 |2 101  |1 01  |a OLR-SEB 
995 |2 105  |1 01  |a OLR-ESP 
995 |2 120  |1 01  |a OLR-ESP 
995 |2 120  |1 02  |a alma 
995 |2 130  |1 01  |a OLR-SEB 
995 |2 285  |1 01  |a OLR-LNS 
998 |2 23  |1 01  |0 2011.12.29