KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings (2012)

Kahl, Wolfram [Verfasser] ; Griffin, Timothy G. [Sonstige]

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

(DE-605)TT050415754

ISBN: 9783642333149

Series Statement: Lecture Notes in Computer Science 7560

Additional Edition: Erscheint auch als Druck-Ausgabe 9783642333132

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Relationenalgebra ; Kleene-Algebra ; Algebraische Methode ; Mathematische Logik ; Algebraische Spezifikation ; HOL ; Isabelle ; Programmverifikation ; Konferenzschrift

DOI: 10.1007/978-3-642-33314-9

URL: http://dx.doi.org/10.1007/978-3-642-33314-9

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HBZ

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg