Filtrera

Ämne
  • (5)
  • (1)
  • (2)
Format
  • (1)
  • (4)
Leveranstid
  • (1)

Wolfram Schulte - Böcker

Visar alla böcker av Wolfram Schulte. Handla med fri frakt och snabb leverans!

Sortering:

  1. Model-Based Software Testing and Analysis with C# E-bok

    av Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

    E-bok (PDF, LCP), Engelska, 2007-11-12
    632
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Model-Based Software Testing and Analysis with C#

    This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in eac...

    Läs mer »

  2. Model-Driven Engineering Languages and Systems

    av Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran

    Häftad, Engelska, 2014-09-22
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Model-Driven Engineering Languages and Systems

    This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume wer...

    Läs mer »

  3. Fields of Logic and Computation II

    av Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

    Häftad, Engelska, 2015-08-27
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Fields of Logic and Computation II

    This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstrac...

    Läs mer »

  4. Formal Methods and Software Engineering

    av Jim Davies, Wolfram Schulte, Mike Barnett

    Häftad, Engelska, 2004-10-01
    1156
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods and Software Engineering

    Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will...

    Läs mer »

  5. FM 2011: Formal Methods

    av Michael Butler, Wolfram Schulte

    Häftad, Engelska, 2011-06-16
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    FM 2011: Formal Methods

    This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and ...

    Läs mer »