Filter

Kompilatorer

Filter
  • Nichtsequentielle und Verteilte Programmierung mit Go

    av

    E-bok, 2025, Tyska, ISBN 9783658473211
    Från 502 kr

    Dieses Buch fuhrt nach einem kurzen Kapitel uber grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go

  • Software Engineering and Formal Methods

    häftad, 2013, Engelska, ISBN 9783642405600

    This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

  • Programming Languages and Systems

    E-bok, 2018, Engelska, ISBN 9783319898841

    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of

  • Runtime Verification

    E-bok, 2019, Engelska, ISBN 9783030320799

    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers

  • Static Analysis

    E-bok, 2003, Engelska, ISBN 9783540448983

    The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.The 25 revised full papers

  • C# Programming for Beginners

    av

    pocket, 2021, Engelska, ISBN 9781803668086

    ✓ Are You Ready to Learn and Start Programming with C# in Less than a Week? ✓ Are you looking for a comprehensive guide to take your very first step into programming? This book is

  • Java™

    av ,

    E-bok, 2013, Tyska, ISBN 9783662004562

    Das vorliegende Buch ist eine Einführung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere

  • CONCUR 2000 - Concurrency Theory

    häftad, 2000, Engelska, ISBN 9783540678977

    This book constitutes the refereed papers of the 11th International Conference on Concurrency Theory, CONCUR 2000, held in University Park, PA, USA in August 2000. The 34 revised

  • Automated Technology for Verification and Analysis

    E-bok, 2013, Engelska, ISBN 9783319024448

    This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in

  • Software Architecture

    E-bok, 2017, Engelska, ISBN 9783319658315

    This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017. The 9 full papers presented