Volltextsuche nutzen

B O O K SCREENER

Aktuelle Veranstaltungen

Events
  • versandkostenfrei ab € 30,–
  • 6x in Wien und Salzburg
  • 6 Mio. Bücher
Menü
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Formal Methods and Software Engineering
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Veröffentlicht 2015
von Michael Butler, Sylvain Conchon, Fatiha Zaïdi bei Springer International Publishing
ISBN: 978-3-319-25422-7

Taschenbuch 54,99
Herstellung bei Anforderung
Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Veröffentlicht 2018
von Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl bei Springer International Publishing
ISBN: 978-3-319-91270-7

Taschenbuch 54,99
Herstellung bei Anforderung
Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Veröffentlicht 2016
von Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro bei Springer International Publishing
ISBN: 978-3-319-33599-5

Taschenbuch 54,99
Herstellung bei Anforderung
Adaptive Asset Allocation

Dynamic Global Portfolios to Profit in Good Times - and Bad

Adaptive Asset AllocationOverlay E-Book Reader
Adaptive Asset Allocation

Dynamic Global Portfolios to Profit in Good Times - and Bad

Veröffentlicht 2016
von Adam Butler, Michael Philbrick, Rodrigo Gordillo bei John Wiley & Sons
ISBN: 978-1-119-22037-4

E-Book (EPUB mit drm) 24,99
EPUB (mit DRM) sofort downloaden
Downloads sind nur in Österreich möglich!
Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Integrated Formal Methods
Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Veröffentlicht 2002
von Michael Butler, Luigia Petre, Kaisa Sere bei Springer Berlin
ISBN: 978-3-540-43703-1

Taschenbuch 54,99
Besorgungstitel
Lieferzeit 1-2 Wochen
Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Formal Methods and Software Engineering
Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Veröffentlicht 2007
von Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie bei Springer Berlin
ISBN: 978-3-540-76648-3

Taschenbuch 54,99
Besorgungstitel
Lieferzeit 1-2 Wochen
Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z
Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Veröffentlicht 2008
von Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca bei Springer Berlin
ISBN: 978-3-540-87602-1

Taschenbuch 54,99
Besorgungstitel
Lieferzeit 1-2 Wochen