Programming Languages and Systems 1
bokomslag Programming Languages and Systems
Data & IT

Programming Languages and Systems

Luís Caires

Pocket

749:-

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:-

Andra format:

  • 816 sidor
  • 2019
This open access book constitutes the proceedings of the 28thEuropean Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
  • Författare: Luís Caires
  • Format: Pocket/Paperback
  • ISBN: 9783030171834
  • Språk: Engelska
  • Antal sidor: 816
  • Utgivningsdatum: 2019-04-06
  • Förlag: Springer Nature Switzerland AG

Du kanske gillar

  1. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Luís Caires

    Klotband

    1369:-
  2. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  3. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  4. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Luís Caires

    Pocket

    1269:-
  5. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Anthony Widjaja Lin

    Pocket

    749:-
  6. bokomslag Foundations of Security, Protocols, and Equational Reasoning

    Foundations of Security, Protocols, a...

    Joshua D Guttman, Carl E Landwehr, José Meseguer, Dusko Pavlovic

    Pocket

    749:-
  7. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  8. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Atsushi Igarashi

    Pocket

    749:-
  9. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Peter Müller

    Pocket

    599:-
  10. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Hongseok Yang

    Pocket

    1469:-

Andra av samma författare

  1. bokomslag Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Obj...

    Luís Caires Christel Baier

    Pocket

    749:-
  2. bokomslag CONCUR 2007 - Concurrency Theory

    CONCUR 2007 - Concurrency Theory

    Vasco T Vasconcelos Luís Caires

    Pocket

    749:-