Ergebnisse filtern
Fachgebiet
Medium
  • 17
Erscheinungsjahr
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 17
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 5
  • 10
  • 2
Preis
  • 8
  • 9
Sprachen
  • 17
Verfügbarkeit
  • 17
Katalog
  • 17

Mathematik | Informatik

17  Treffer  für „Bjørner, Dines“
Alle Filter löschen
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05941-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05940-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21151-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Domain Science and Engineering | Buch | Sack Fachmedien

    Bjørner Domain Science and Engineering

    A Foundation for Software Development
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-73483-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Domain Science and Engineering | Buch | Sack Fachmedien

    Bjørner Domain Science and Engineering

    A Foundation for Software Development
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-73486-2
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    Softcover Nachdruck of hardcover 1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05939-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Barzdins | Baltic Computer Science | Buch | Sack Fachmedien

    Bjørner / Barzdins Baltic Computer Science

    Selected Papers
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54131-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henson / Bjørner | Logics of Specification Languages | Buch | Sack Fachmedien

    Henson / Bjørner Logics of Specification Languages

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09345-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henson / Bjørner | Logics of Specification Languages | Buch | Sack Fachmedien

    Henson / Bjørner Logics of Specification Languages

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74106-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Zamulin / Broy | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Zamulin / Broy Perspectives of System Informatics

    4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43075-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Langmaack / Hoare | VDM '90. VDM and Z - Formal Methods in Software Development | Buch | Sack Fachmedien

    Bjørner / Langmaack / Hoare VDM '90. VDM and Z - Formal Methods in Software Development

    Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52513-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Zamulin / Broy | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Zamulin / Broy Perspectives of System Informatics

    Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67102-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Pottosin / Broy | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Pottosin / Broy Perspectives of System Informatics

    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62064-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Pottosin / Broy | Formal Methods in Programming and Their Applications | Buch | Sack Fachmedien

    Bjørner / Pottosin / Broy Formal Methods in Programming and Their Applications

    International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57316-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Neuhold / Jones | VDM '87. VDM - A Formal Method at Work | Buch | Sack Fachmedien

    Bjørner / Neuhold / Jones VDM '87. VDM - A Formal Method at Work

    VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17654-1
    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