Studiebog

Relational and Algebraic Methods in Computer Science

- 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings (2018)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Theoretical Computer Science and General Issues

Normalpris: kr. 164,95

Medlemspris: kr. 149,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
Forventet levering: 09-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal385
Udgivelsesdato23-10-2013
ISBN139783030021481
Forlag Springer Nature Switzerland AG
Nummer i serien11194
FormatPaperback

Størrelse og vægt

Vægt617 g

Dybde2,1 cm

10 cm

15,5 cm

23,5 cm

Relational and Algebraic Methods in Computer Science

- 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings (2018)

Findes i disse kategorier...

Se andre, der handler om...