Erschienen: 01.03.1982 Abbildung von Goldblatt | Axiomatising the Logic of Computer Programming | 1982 | 130

Goldblatt

Axiomatising the Logic of Computer Programming

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1982. Buch. xiii, 304 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-11210-5

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1000 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 130

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...