Compiler Specification and Verification 1
bokomslag Compiler Specification and Verification
Data & IT

Compiler Specification and Verification

W Polak

Pocket

349:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 272 sidor
  • 1981
  • Författare: W Polak
  • Format: Pocket/Paperback
  • ISBN: 9783540108863
  • Språk: Engelska
  • Antal sidor: 272
  • Utgivningsdatum: 1981-10-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Deductive Program Design

    Deductive Program Design

    Manfred Broy

    Pocket

    2829:-
  2. bokomslag Baltic Computer Science

    Baltic Computer Science

    Dines Bjørner Janis Barzdins

    Pocket

    1469:-
  3. bokomslag Deductive Program Design

    Deductive Program Design

    Manfred Broy

    Inbunden

    2909:-
  4. bokomslag Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Te...

    Maurice Nivat Martin Wirsing

    Pocket

    1469:-
  5. bokomslag Algebraic Specification Techniques in Object Oriented Programming Environments

    Algebraic Specification Techniques in...

    Ruth Breu

    Pocket

    749:-
  6. bokomslag Automatic Verification Methods for Finite State Systems

    Automatic Verification Methods for Fi...

    Joseph Sifakis

    Pocket

    849:-
  7. bokomslag Many-Valued Logics 2

    Many-Valued Logics 2

    Piotr Borowik Leonard Bolc

    749:-
  8. bokomslag Program Design Calculi

    Program Design Calculi

    Manfred Broy

    2909:-
  9. bokomslag Mathematical Methods in Program Development

    Mathematical Methods in Program Devel...

    Birgit Schieder Manfred Broy

    Pocket

    1469:-
  10. bokomslag Transformation-Based Reactive Systems Development

    Transformation-Based Reactive Systems...

    Teodor Rus Miquel Bertran

    Pocket

    749:-