Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Part I

Tools and algorithms for the construction and analysis of systems : Part I / 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Jan Friso Groote, Kim Guldstrand Larsen (eds.).

Shranjeno v:
Bibliografske podrobnosti
Corporate Authors: TACAS (Conference) Online), ETAPS (Conference)
Drugi avtorji: Groote, J. F. (Jan Friso), 1965- (Editor), Larsen, K. G. (Kim G.), 1957- (Editor)
Format: eKnjiga
Jezik:English
Izdano: Cham : Springer, 2021.
Serija:Lecture notes in computer science ; 12651.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. Theoretical computer science and general issues.
Teme:
System design > Congresses.
Computer software > Verification > Congresses.
System analysis > Congresses.
Artificial intelligence.
Theory of Computation.
computers.
artificial intelligence.
Computer software > Verification
System analysis
System design
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online dostop:Click for online access
Prijava za informacije o izposojenih in rezerviranih

Internet

Click for online access

Online

Podrobnosti zaloge Online
Prosto

Podobne knjige/članki