KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Bove, Ana [Sonstige] ; America Latina Formación Academica

Berlin ; Heidelberg ; New York, NY : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035656654

Format: 1 Online-Ressource (VI, 300 S.) , graph. Darst.

ISBN: 9783642031526 , 9783642031533

Series Statement: Lecture notes in computer science 5520 : Tutorial

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Softwareentwicklung ; Formale Methode ; Programmiersprache ; Typentheorie ; Formale Methode ; Konferenzschrift

DOI: 10.1007/978-3-642-03153-3

URL: Volltext

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

BTU Cottbus

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund