Hoppa till sidans huvudinnehåll

Del 12651

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

Häftad, Engelska, 2021

AvJan Friso Groote,Kim Guldstrand Larsen

569 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

Produktinformation

  • Utgivningsdatum2021-03-20
  • Mått155 x 235 x 29 mm
  • Vikt734 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor471
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030720155

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Reactive Systems

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba, Anna Ingólfsdóttir, Reykjavik) Aceto, Luca (University of Iceland, Reykjavik) Ingolfsdottir, Anna (University of Iceland, Denmark) Larsen, Kim Guldstrand (Aalborg University, Denmark) Srba, Jiri (Aalborg University, Anna Ingolfsdottir

Inbunden

1 439 kr

Del 9899

Reachability Problems

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba, Jiri Srba, Ji¿í Srba

Häftad

709 kr

Modeling and Analysis of Communicating Systems

Jan Friso Groote, Mohammad Reza Mousavi, Eindhoven University of Technology) Groote, Jan Friso (Professor, Halmstad University) Mousavi, Mohammad Reza (Professor of Computer Systems Engineering

Häftad

909 kr