Fachgebiet
Medium
  • 2
  • 2
Erscheinungsjahr
  • 2
  • 2
Autoren
  • 2
  • 4
  • 2
Verlag
  • 3
  • 1
Preis
  • 4
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4
4  Treffer  für „Julliand, Jacques“


    Brucker / Julliand Tests and Proofs

    6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-30473-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Julliand / Kouchnarenko B 2007: Formal Specification and Development in B

    7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-68761-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kouchnarenko / Julliand B 2007: Formal Specification and Development in B

    7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68760-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Julliand / Brucker Tests and Proofs

    6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30472-9
    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