Fachgebiet
Medium
  • 3
Erscheinungsjahr
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Verlag
  • 3
Preis
  • 3
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3

Programmierung | Softwareentwicklung

3  Treffer  für „Finkel, Alain“


    Finkel / Jantzen STACS 92

    9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55210-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Enjalbert / Finkel / Wagner STACS 93

    10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56503-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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