Programming Languages and Systems bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783319479576

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319479576

EAN/GTIN:
9783319479576

Suchbegriffe:

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Weitere Informationen:


Author:	Atsushi Igarashi
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, bücher für datenbanken - englischsprachig, Programmiersprachen, logic programming, model checking, program verification, security, theorem proving, algorithms, concurrent program logic, cryptographic primitives, decision procedure, distributed environments