Header

Shop : New publications

Shop
New publications
978-3-8440-9984-3
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt

Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2

Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media