Ergebnisse filtern
Fachgebiet
Medium
  • 15
  • 13
Erscheinungsjahr
  • 1
  • 4
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 1
Autoren
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 1
  • 2
  • 4
  • 2
  • 3
  • 4
  • 4
  • 4
  • 3
  • 1
  • 4
  • 2
  • 3
  • 2
  • 3
  • 1
  • 3
  • 1
  • 4
  • 4
  • 2
  • 1
  • 1
  • 10
  • 4
  • 5
  • 1
  • 4
  • 4
  • 4
  • 2
  • 4
  • 2
  • 4
  • 1
  • 4
  • 4
  • 1
  • 2
  • 4
  • 4
  • 1
  • 4
  • 3
  • 1
  • 1
  • 2
  • 28
  • 4
  • 3
  • 2
  • 2
  • 6
Verlag
  • 1
  • 18
  • 4
  • 5
Preis
  • 23
  • 5
Sprachen
  • 28
Verfügbarkeit
  • 28
Katalog
  • 28
28  Treffer  für „Woodcock, Jim“
    Woodcock | Using Z | Buch | Sack Fachmedien

    Woodcock Using Z

    Erscheinungsjahr 1996
    Verlag: Pearson Education
    ISBN: 978-0-13-948472-8
    Medium: Buch
    90,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Woodcock | Verified Software: Theories, Tools, Experiments | eBook | Sack Fachmedien
    E-Book

    Meyer / Woodcock Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    2008
    Verlag: Springer
    ISBN: 978-3-540-69149-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Shankar / Woodcock | Verified Software: Theories, Tools, Experiments | eBook | Sack Fachmedien
    E-Book

    Shankar / Woodcock Verified Software: Theories, Tools, Experiments

    Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-87873-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Woodcock / Meyer | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Woodcock / Meyer Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69147-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woodcock / Shankar | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Woodcock / Shankar Verified Software: Theories, Tools, Experiments

    Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87872-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Woodcock | Formal Methods and Software Engineering | eBook | Sack Fachmedien
    E-Book

    Dong / Woodcock Formal Methods and Software Engineering

    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39893-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Woodcock / Dong | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Woodcock / Dong Formal Methods and Software Engineering

    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20461-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oliveira / Woodcock | Formal Methods: Foundations and Applications | eBook | Sack Fachmedien
    E-Book

    Oliveira / Woodcock Formal Methods: Foundations and Applications

    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-10452-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Woodcock / Oliveira | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Woodcock / Oliveira Formal Methods: Foundations and Applications

    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10451-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Zhang / Woodcock | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Qin / Zhang / Woodcock Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-91264-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Zhu / Woodcock | Theories of Programming and Formal Methods | Buch | Sack Fachmedien

    Liu / Zhu / Woodcock Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    2013
    Verlag: Springer
    ISBN: 978-3-642-39697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Sampaio / Woodcock | Refinement Techniques in Software Engineering | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    2006
    Verlag: Springer
    ISBN: 978-3-540-46254-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Sampaio / Woodcock | Refinement Techniques in Software Engineering | Buch | Sack Fachmedien

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Zhu / Woodcock | Unifying Theories of Programming and Formal Engineering Methods | Buch | Sack Fachmedien

    Liu / Zhu / Woodcock Unifying Theories of Programming and Formal Engineering Methods

    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    2013
    Verlag: Springer
    ISBN: 978-3-642-39720-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Woodcock / Zhang | Dependable Software Engineering. Theories, Tools, and Applications | eBook | Sack Fachmedien
    E-Book

    Qin / Woodcock / Zhang Dependable Software Engineering. Theories, Tools, and Applications

    7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-91265-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | eBook | Sack Fachmedien
    E-Book

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    2007
    Verlag: Springer
    ISBN: 978-3-540-74964-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Zhu / Woodcock | Theoretical Aspects of Computing -- ICTAC 2013 | Buch | Sack Fachmedien

    Liu / Zhu / Woodcock Theoretical Aspects of Computing -- ICTAC 2013

    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39717-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theories of Programming and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Liu / Woodcock / Zhu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39698-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Unifying Theories of Programming and Formal Engineering Methods | eBook | Sack Fachmedien
    E-Book

    Liu / Woodcock / Zhu Unifying Theories of Programming and Formal Engineering Methods

    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39721-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theoretical Aspects of Computing -- ICTAC 2013 | eBook | Sack Fachmedien
    E-Book

    Liu / Woodcock / Zhu Theoretical Aspects of Computing -- ICTAC 2013

    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39718-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | Buch | Sack Fachmedien

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74963-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Liu / Woodcock | Formal Methods and Hybrid Real-Time Systems | eBook | Sack Fachmedien
    E-Book

    Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    2007
    Verlag: Springer
    ISBN: 978-3-540-75221-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jones / Woodcock / Liu | Formal Methods and Hybrid Real-Time Systems | Buch | Sack Fachmedien

    Jones / Woodcock / Liu Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Deharbe / Gaudel | Theoretical Aspects of Computing | Buch | Sack Fachmedien

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14807-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dongol / Woodcock | Software Engineering for Robotics | Buch | Sack Fachmedien

    Cavalcanti / Dongol / Woodcock Software Engineering for Robotics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66496-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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