• Home
  • Über uns
  • Publizieren
  • Katalog
  • Newsletter
  • Hilfe
  • Account
  • Kontakt / Impressum
Dissertation - Publikationsreihe - Tagungsband - Fachbuch - Vorlesungsskript/Lehrbuch - Zeitschrift - CD-/DVD-ROM - Online Publikation
Suche im Gesamtkatalog - Rezensionen - Lizenzen
Newsletter für Autoren und Herausgeber - Neuerscheinungsservice - Archiv
 
» Zurück zum Buch
» Zurück zur Reihe
Katalog : Verlinkung

Link zum Buch

Kopieren Sie einfach folgende Zeilen in Ihr HTML-Dokument:

Ergebnis:

Das Buch Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Prof. Dr. rer. nat. Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla - Towards an Isabelle Theory for distributed, interactive systems
The untimed case

(ISBN: 978-3-8440-7265-5) wurde im Shaker Verlag veröffentlicht.

Link zur Reihe

Kopieren Sie einfach folgende Zeilen in Ihr HTML-Dokument:

Ergebnis:

Die Reihe Aachener Informatik-Berichte, Software Engineering erscheint im Shaker Verlag.