Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Uložené v:
Podrobná bibliografia
Médium: E-kniha
Jazyk:English
Vydavateľské údaje: Netherlands Springer Nature 2022
Predmet:
Data processing Computer science
ISBN:3030995275, 9783030995270
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
BookMark eNotjMtqwzAQAAVtoU2afxC9G9Z6WNbRmL4gkEPTc5DkVewiS8XrHvL3LaSnmcMwG3abS8YbtpEgwVotjL5nO6IvABBGggB4YN2xlETc5YF36VyWaR1n4rEsfB2R9yXTuvyEdSr52mSXLjQRL5F_XGjFmR7ZXXSJcPfPLft8eT72b9X-8Pred_sqKGhsFb2WQ4yIoVatx0YjojXChCAHJ_7MYo3SDwo0RPC2NU5aMWhXR-tar-SWPV2_wZFLU55Oc8nlvLjvkU5aiVo1Sv4CyPhH3A
ContentType eBook
DBID I4C
DEWEY 004
DatabaseName Casalini Torrossa eBooks Institutional Catalogue
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Editor Rosu, Grigore
Fisman, Dana
Editor_xml – sequence: 1
  fullname: Fisman, Dana
– sequence: 2
  fullname: Rosu, Grigore
ExternalDocumentID 5421464
GroupedDBID 38.
A7I
AABBV
AAKKN
AALIB
AAQKC
AAXZC
AAYZJ
AAZWU
ABSVR
ABTHU
ABVND
ACBPT
ACHZO
ACPMC
ADNVS
AEDXK
AEKFX
AFNRJ
AHVRR
AIQUZ
AKAAH
ALMA_UNASSIGNED_HOLDINGS
BBABE
I4C
IEZ
SBO
TPJZQ
TSXQS
V1H
Z7R
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
ID FETCH-LOGICAL-c4069-fb53dffeec148be65eee9727cc3da29729e1e3bd4050f0b987a392d5a1f9a8b43
ISBN 3030995275
9783030995270
IngestDate Tue Nov 14 22:57:41 EST 2023
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident Q
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c4069-fb53dffeec148be65eee9727cc3da29729e1e3bd4050f0b987a392d5a1f9a8b43
ParticipantIDs casalini_monographs_5421464
PublicationCentury 2000
PublicationDate 2022
PublicationDateYYYYMMDD 2022-01-01
PublicationDate_xml – year: 2022
  text: 2022
PublicationDecade 2020
PublicationPlace Netherlands
PublicationPlace_xml – name: Netherlands
PublicationYear 2022
Publisher Springer Nature
Publisher_xml – name: Springer Nature
SSID ssj0002730200
Score 2.2581391
SourceID casalini
SourceType Publisher
SubjectTerms Data processing Computer science
Subtitle 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Title Tools and Algorithms for the Construction and Analysis of Systems
URI http://digital.casalini.it/9783030995270
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3PS8MwFI7b9ODJ36hTycFroUubtjkOURRkeJiy28iPFxVGK07GwH_elybtxg6CBy8hTUMg3xeSl9e-7xFybaVJcpX7iJ4oTZSJlIpFZBIZGxMPtKnTAb085qNRMZmIp87WdxMLs5jlZVksl-LjX6nGNiTbhc7-ge52UGzAOpKOJdKO5YZF3D4Gxqtq5hWXh7PXCi_9b15sobYtXWLORirW91lTI1mXLQ8eAMY2PACNB9D93hxUSNoLYuK-oAjOfHKODWVpnrqs3mmXdPPMbQ7D_KF1T6FVg4Zk7KJhmiG41ytaDemOcjmXLoJz7Uwe75NtcIEaB6QD5SHZa9JT0LBbHZFhDQjFydIVIBQBoQgIXQfE9wmA0MrSAMgxeb67Hd_cRyFjRKRdBG9kFU-MtQAab3kKMg4AAi00rRMjGdYEDADXI1qpsY2VKHKJ9qHhcmCFLFSanJBeWZVwSijj2mjQEvtAamJd8AxYJgWzTOGtypyRfjP5Ka4gry8-nwZMz3992ye7Kx4vSA9nC5dkRy--3uefVzURPxWE_5s
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Tools+and+Algorithms+for+the+Construction+and+Analysis+of+Systems&rft.date=2022-01-01&rft.pub=Springer+Nature&rft.isbn=9783030995270&rft.externalDocID=5421464
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030995270/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030995270/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030995270/sc.gif&client=summon&freeimage=true