Buchumschlag

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria

Gespeichert in:
E-Book
Bibliographische Detailangaben
Beteiligte Person(en) Legay, Axel (herausgegeben von), Margaria, Tiziana (herausgegeben von)
Ort, Verlag, Jahr Berlin, Heidelberg : Springer Berlin Heidelberg Imprint: Springer , 2017
Umfang1 Online-Ressource (XXIV, 609 p. 152 illus)
ISBN9783662545775
ISSN0302-9743
SpracheEnglisch
Online-Zuganghttps://doi.org/10.1007/978-3-662-54577-5
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Persistente URLhttps://katalogplus.ub.uni-bielefeld.de/title/HT019287694

Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte Angebote von außerhalb des Campus.

MARC

LEADER 00000nam#a2200000#cb4500
001 990217891570206441
003 DE-605
005 20240313141427.0
007 cr#|||||||||||
008 170403|2017####xx######o#####|||#|#eng#c
016 7 |a 1073786801  |2 OCoLC 
020 |a 9783662545775  |9 978-3-662-54577-5 
035 |a (DE-605)HT019287694 
040 |a Springer  |b ger  |c Springer  |d DE-605  |e rda 
041 |a eng 
082 0 4 |a 005.1015113  |2 23 
089 0 4 |a 005.1015113  |e 23 
245 0 0 |a Tools and Algorithms for the Construction and Analysis of Systems  |b 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I  |c edited by Axel Legay, Tiziana Margaria 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |b Imprint: Springer  |c 2017 
300 |a 1 Online-Ressource (XXIV, 609 p. 152 illus) 
336 |b txt 
337 |b c 
338 |b cr 
347 |a text file  |b PDF 
490 0 |a Lecture Notes in Computer Science  |v 10205  |x 0302-9743 
035 |a (hbzERes_Springer)978-3-662-54577-5 
035 |a (OCoLC)1073786801 
035 |a (DE-599)HBZHT019287694 
024 7 |a 10.1007/978-3-662-54577-5  |2 doi 
962 |e ZDB-2-SCS  |e ZDB-2-LNC  |e ZDB-2-SXCS 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SXCS 
856 4 |u https://dx.doi.org/10.1007/978-3-662-54577-5  |x Resolving-System 
700 1 |a Legay, Axel  |4 edt 
700 1 |a Margaria, Tiziana  |4 edt 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |z 9783662545768 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Programming languages (Electronic computers) 
650 0 |a Computers 
650 0 |a Algorithms 
650 0 |a Computer logic 
650 0 |a Mathematical logic 
MAN |a false 
POR |0 2021-04-15 14:58:46 Europe/Berlin  |l Springer Link  |y 2021-04-06 11:26:27 Europe/Berlin  |2 https://eu04.alma.exlibrisgroup.com/view/uresolver/49HBZ_BIE/openurl?u.ignore_date_coverage=true&portfolio_pid=53718691610006441&Force_direct=true  |a 53718691610006441  |1 2021-04-06 09:26:27  |k false  |r 61737819780006441  |s Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS)  |c static  |5 62737819770006441  |d https://hbz-network.userservices.exlibrisgroup.com/view/uresolver/49HBZ_BIE/openurl?u.ignore_date_coverage=true&rft.mms_id=990217891570206441  |b Available  |e BOOK  |8 53718691610006441 
POR |0 2021-04-16 15:50:26 Europe/Berlin  |l Springer Link  |y 2021-04-16 15:50:22 Europe/Berlin  |2 https://eu04.alma.exlibrisgroup.com/view/uresolver/49HBZ_BIE/openurl?u.ignore_date_coverage=true&portfolio_pid=53739141550006441&Force_direct=true  |a 53739141550006441  |1 2021-04-16 13:50:22  |k false  |r 61799381840006441  |s Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)  |c static  |5 62799381830006441  |d https://hbz-network.userservices.exlibrisgroup.com/view/uresolver/49HBZ_BIE/openurl?u.ignore_date_coverage=true&rft.mms_id=990217891570206441  |b Available  |e BOOK  |8 53739141550006441 
035 |a (49HBZ_NETWORK)990217891570206441