Ergebnisse filtern
Fachgebiet
Medium
  • 2
Erscheinungsjahr
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
Verlag
  • 2
Preis
  • 2
Sprachen
  • 2
Verfügbarkeit
  • 2
Katalog
  • 2

Programmierung | Softwareentwicklung

2  Treffer  für „Smith, Jan“
Alle Filter löschen
    Dybjer / Nordström / Smith | Types for Proofs and Programs | Buch | Sack Fachmedien

    Dybjer / Nordström / Smith Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coquand / Dybjer / Nordström | Types for Proofs and Programs | Buch | Sack Fachmedien

    Coquand / Dybjer / Nordström Types for Proofs and Programs

    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular