Filtrera

Ämne
  • (5)
  • (1)
Format
  • (1)
  • (3)
  • (2)
Utgivningsår
  • (1)
  • (5)
Pris
  • (1)
Leveranstid
  • (3)

Gerardo Schneider - Böcker

Visar alla böcker av Gerardo Schneider. Handla med fri frakt och snabb leverans!

Sortering:

  1. Formal Methods for Software Engineering

    av Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

    Inbunden, Engelska, 2022-06-23
    571
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods for Software Engineering

    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal...

    Läs mer »

  2. Formal Methods for Software Engineering E-bok

    av Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

    E-bok (LCP), Engelska, 2022-06-22
    844
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods for Software Engineering

    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal ...

    Läs mer »

  3. Formal Methods for Software Engineering

    av Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

    Häftad, Engelska, 2023-06-24
    436
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods for Software Engineering

    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal...

    Läs mer »

  4. Software Engineering and Formal Methods

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

    Häftad, Engelska, 2011-10-21
    575
    Köp
    Skickas från oss inom 10-15 vardagar.
    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short ...

    Läs mer »

  5. Software Engineering and Formal Methods E-bok

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

    E-bok (PDF, LCP), Engelska, 2011-10-26
    759
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short ...

    Läs mer »

  6. Mobile Living Across Europe I E-bok

    av Norbert F Schneider, Gerardo Meil

    E-bok (PDF, LCP), Engelska, 2008-11-19
    317
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Mobile Living Across Europe I

    Job-related spatial mobility is a subject of great importance in Europe. But how mobile are the Europeans? What are the consequences of professional mobility for quality of life, family life and social relationships? For the first time these quest...

    Läs mer »