Filter

Kompilatorer

Filter
  • Teaching Formal Methods

    E-bok, 2009, Engelska, ISBN 9783642049125

    This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods

  • Compiler Design

    av ,

    E-bok, 2010, Engelska, ISBN 9783642149092

    While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems.

  • NASA Formal Methods

    häftad, 2017, Engelska, ISBN 9783319572871

    This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short

  • Automated Deduction - CADE-18

    E-bok, 2003, Engelska, ISBN 9783540456209

    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th,

  • Formal Languages and Applications

    E-bok, 2013, Engelska, ISBN 9783540398868

    Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an

  • Formal Methods: Foundations and Applications

    häftad, 2015, Engelska, ISBN 9783319150741

    This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October

  • Informatik

    av

    E-bok, 2013, Tyska, ISBN 9783642976131

    Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs-

  • Software Composition

    E-bok, 2011, Engelska, ISBN 9783642220456

    The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with

  • Software Engineering in C

    av ,

    E-bok, 2012, Engelska, ISBN 9781468403084

    The author starts with the premise that C is an excellentlanguage for software engineering projects. The book con-centrates on programming style,particularly

  • Methodik der Programmierung in Pascal

    av

    häftad, 1994, Tyska, ISBN 9783540580935

    Dieses Buch verfolgt zwei Ziele: Neben der Einführung in die Programmiersprache Pascal anhand des ISO-Standard-Pascal werden grundlegende Programmiertechniken und guter