Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conf

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conf

by Jan Friso Groote, Kim Guldstrand Larsen Paperback 1

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Jan Friso Groote, Kim Guldstrand Larsen
  • ISBN 13: 9783030720124
  • ISBN 10: 3030720128
  • Publication Year: 1
  • Language: English

Specifications

Index-103030720128
LanguageEnglish
Index-139783030720124
Period-
Class Track-
Publisher- (1)
Pages-

✨ Readers also enjoyed...

View All →
Logical Gates, Circuits, Processors, Compilers and Computers

Logical Gates, Circuits, Processor…

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins

Inquire
Modeling and Analysis of Communicating Systems

Modeling and Analysis of Communica…

Jan Friso Groote, Mohammad Reza Mousavi

Inquire
Tales of Electrologica : Computers, Software and People

Tales of Electrologica : Computers…

Gerard Alberts, Jan Friso Groote

Inquire
Tales of Electrologica : Computers, Software and People

Tales of Electrologica : Computers…

Gerard Alberts, Jan Friso Groote

Inquire
Understanding Behaviour of Distributed Systems Using MCRL2

Understanding Behaviour of Distrib…

Muhammad Atif, Jan Friso Groote

Inquire