Fundamental Approaches to Software Engineering
1 019 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2020-10-08
- Mått216 x 279 x 25 mm
- Vikt1 320 g
- FormatInbunden
- SpråkEngelska
- Antal sidor448
- FörlagSaint Philip Street Press
- ISBN9781013271335
Tillhör följande kategorier
Mer från samma författare
Internet of Production
Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg
699 kr
Internet of Production
Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg
559 kr
Jenseits von Text und Bild - Generative KI für vielfältige Datenwelten
Nicolas Bach, Varun Gowtham, Jan Hamaekers, Dirk Hecker, Sonja Holl-Supra, Maximilian Hörstrup, Bjarne Huuck, Wilhelm Jaspers, Wolfgang Kratsch, Christopher Krauss, Jonathan Krauß, Christian Beecks, Christian Kühnert, André Kummerow, Matthis Leicht, Pascal Nicolai Linden, Miriam Mock, Christopher Mutschler, Jonathan Ott, Felix Ott, Gerhard Paass, Gyunam Pak, Gesa Benndorf, Janko Petereit, Christian Pionzewski, Andrej Plenne, Florian Rippstein, Maximilian Röglinger, Daniel Scherer, Daniel Schulz, Maximilian Stahlke, Ina Steinmetz, Florian Strohm, Julia Burr, Ljiljana Stojanovic, Niklas Uhl, Christian Ufrecht, Wil Van Der Aalst, Angelika Voß, Andreas Wilde, Tim Wirtz, Alper Yaman, Mathias Ziebarth, Alexander Zorn, Franziska Dechert, Frederik Diederichs, Hartmut Eigenbrod, Georg Fuchs, Alexander Graß, Fraunhofer-Allianz Big Data und Künstliche Intelligenz
739 kr
Du kanske också är intresserad av
Jenseits von Text und Bild - Generative KI für vielfältige Datenwelten
Nicolas Bach, Varun Gowtham, Jan Hamaekers, Dirk Hecker, Sonja Holl-Supra, Maximilian Hörstrup, Bjarne Huuck, Wilhelm Jaspers, Wolfgang Kratsch, Christopher Krauss, Jonathan Krauß, Christian Beecks, Christian Kühnert, André Kummerow, Matthis Leicht, Pascal Nicolai Linden, Miriam Mock, Christopher Mutschler, Jonathan Ott, Felix Ott, Gerhard Paass, Gyunam Pak, Gesa Benndorf, Janko Petereit, Christian Pionzewski, Andrej Plenne, Florian Rippstein, Maximilian Röglinger, Daniel Scherer, Daniel Schulz, Maximilian Stahlke, Ina Steinmetz, Florian Strohm, Julia Burr, Ljiljana Stojanovic, Niklas Uhl, Christian Ufrecht, Wil Van Der Aalst, Angelika Voß, Andreas Wilde, Tim Wirtz, Alper Yaman, Mathias Ziebarth, Alexander Zorn, Franziska Dechert, Frederik Diederichs, Hartmut Eigenbrod, Georg Fuchs, Alexander Graß, Fraunhofer-Allianz Big Data und Künstliche Intelligenz
739 kr
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
719 kr
Theorem Proving with Analytic Tableaux and Related Methods
Peter Baumgartner, Reiner Hähnle, Joachim Posegga
699 kr