KOBV Portal

Book

Theoretical aspects of computing 8th international colloquium ; proceedings : ICTAC 2011,Johannesburg, South Africa, August 31 - September 2, 2011 (2011)

Cerone, Antonio ; ICTAC 8 2011 Johannesburg

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV039559414

Format: X, 266 S. : , graph. Darst. ; , 24 cm.

ISBN: 978-3-642-23282-4 , 3-642-23282-5

Series Statement: Lecture notes in computer science 6916

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Theoretical Aspects of Computing ICTAC 2011

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Komplexität ; Formale Methode ; Softwareentwicklung ; Programmverifikation ; Softwaretest ; Formale Methode ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

TU Berlin

Online Resource

Theoretical aspects of computing - ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 ; proceedings (2011)

Cerone, Antonio ; Pihlajasaari, Pekka ; ICTAC 8 2011 Johannesburg

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_668046384

Format: Online-Ressource (X, 266 S.)

Edition: Online-Ausg. 2011 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web

ISBN: 9783642232831

Series Statement: Lecture notes in computer science 6916

Note: Literaturangaben , Electronic reproduction; Available via World Wide Web

Additional Edition: ISBN 3642232825

Additional Edition: ISBN 9783642232824

Additional Edition: Erscheint auch als Druck-Ausgabe Theoretical aspects of computing - ICTAC 2011 Berlin : Springer, 2011 ISBN 3642232825

Additional Edition: ISBN 9783642232824

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Komplexität ; Formale Methode ; Softwareentwicklung ; Programmverifikation ; Softwaretest ; Formale Methode ; Konferenzschrift

DOI: 10.1007/978-3-642-23283-1

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

Book

Theoretical aspects of computing : 8th international colloquium ; proceedings (2011)

Cerone, Antonio ; ICTAC (8 : 2011 : Johannesburg) 8 Johannesburg

Berlin [u.a.] : Springer-Verlag

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB15394018

Format: X, 266 Seiten , graph. Darst. , 24 cm

ISBN: 9783642232824 , 3642232825

Series Statement: Lecture notes in computer science 6916

Note: Literaturangaben , Text engl.

Language: English

Keywords: Theoretische Informatik ; Komplexität ; Formale Methode ; Kongress ; Johannesburg 〈2011〉 ; Softwareentwicklung ; Programmverifikation ; Softwaretest ; Formale Methode ; Kongress ; Johannesburg 〈2011〉 ; Kongress ; Konferenzschrift

URL: http://d-nb.info/1013760360/04

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=3857269&prov=M&dok_var=1&dok_ext=htm

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Theoretical aspects of computing 8th international colloquium ; proceedings : ICTAC 2011,Johannesburg, South Africa, August 31 - September 2, 2011 (2011)

Cerone, Antonio [Sonstige] ; ICTAC 8 2011 Johannesburg

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039559414

Format: X, 266 S. , graph. Darst. , 24 cm

ISBN: 9783642232824 , 3642232825

Series Statement: Lecture notes in computer science 6916

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Theoretical Aspects of Computing ICTAC 2011

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Komplexität ; Formale Methode ; Softwareentwicklung ; Programmverifikation ; Softwaretest ; Formale Methode ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Theoretical aspects of computing 8th international colloquium ; proceedings : ICTAC 2011, Johannesburg, South Africa, August 31 - September 2, 2011 (2011)

Cerone, Antonio ; ICTAC 8 2011 Johannesburg

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039607568

Format: 1 Online-Ressource (X, 266 S.) , graph. Darst.

ISBN: 9783642232831

Series Statement: Lecture notes in computer science 6916

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-642-23282-4

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Komplexität ; Formale Methode ; Softwareentwicklung ; Programmverifikation ; Softwaretest ; Formale Methode ; Konferenzschrift

DOI: 10.1007/978-3-642-23283-1

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

BTU Cottbus

Online Resource

Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings (2011)

Cerone, Antonio. [editor.] ; Pihlajasaari, Pekka. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947364390702882

Format: X, 267 p. 55 illus., 10 illus. in color. , online resource.

ISBN: 9783642232831

Series Statement: Lecture Notes in Computer Science, 6916

Content: This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783642232824

Language: English

DOI: 10.1007/978-3-642-23283-1

URL: http://dx.doi.org/10.1007/978-3-642-23283-1

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hits 1 - 6 | 6 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg