• 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
Katalog : Rezensionsexemplar

Bestellung Rezensionsexemplar

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


Band 45

ISBN 978-3-8440-7265-5, Englisch, Paperback, 262 Seiten, 24 x 17 cm, 390 g, 35,80 € / 44,80 SFR
März 2020

Bitte senden Sie das Rezensionsexemplar an:

die Redaktionsadresse (alle mit * gekennzeichneten Felder müssen vollständig ausgefüllt werden)
die Adresse des Rezensenten (alle Felder müssen vollständig ausgefüllt werden)
 
E-Mail-Adresse*:

Anschrift der Redaktion:

Name der Zeitschrift*:
Internetadresse*:
Straße und Hausnummer*:
PLZ* Ort*:
Land*:
Telefon*:

Anschrift des Rezensenten:

Anrede*:
Vorname*:
Nachname*:
Straße und Hausnummer:
PLZ Ort:
Land:
Telefon:
Mitteilung:

Sicherheitscode

» Neuen Sicherheitscode erzeugen
Sicherheitscode*:

Datenschutzerklärung

Ich willige darin ein, dass die Shaker Verlag GmbH die von mir überreichten Informationen und Kontaktdaten dazu verwendet um mit mir anlässlich meiner Kontaktaufnahme in Verbindung zu treten, hierüber zu kommunizieren und meine Bestellung abzuwickeln. Die Datenschutzerklärung kann hier eingesehen werden.*