Fachgebiet
Medium
  • 9
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
Verlag
  • 2
  • 1
  • 1
  • 4
  • 1
Preis
  • 2
  • 2
  • 5
Sprachen
  • 8
  • 1
Verfügbarkeit
  • 9
Katalog
  • 9

Mathematik | Informatik

9  Treffer  für „Broy, M.“


    Broy Constructive Methods in Computing Science

    International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
    Softcover Nachdruck of the original 1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-642-74886-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy / Schmidt Theoretical Foundations of Programming Methodology

    Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
    1982. Auflage 1982
    Verlag: Palgrave MacMillan UK
    ISBN: 978-90-277-1460-2
    Medium: Buch
    102,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schmidt / Broy Theoretical Foundations of Programming Methodology

    Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
    Softcover Nachdruck of the original 1. Auflage 1982
    Verlag: Springer Netherlands
    ISBN: 978-90-277-1462-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy / Sitou / Hoare Engineering Methods and Tools for Software Safety and Security

    Erscheinungsjahr 2009
    Verlag: IOS Press
    ISBN: 978-1-58603-976-9
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Broy / Leuxner / Hoare Software and Systems Safety

    Specification and Verification
    Erscheinungsjahr 2011
    Verlag: IOS Press
    ISBN: 978-1-60750-710-9
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Paul / Neuhold Formal Description of Programming Concepts

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53961-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Höhn / Höppner Das V-Modell XT

    Grundlagen, Methodik und Anwendungen
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30249-0
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bauer / Owicki / Pair Program Construction

    International Summer School
    1979
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-09251-3
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Springer The Munich Project CIP

    Volume I: The Wide Spectrum Language CIP-L
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15187-6
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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