Studiebog

Formal Methods and Hybrid Real-Time Systems

- Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Normalpris: kr. 419,95

Medlemspris: kr. 399,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-12 hverdage (Sendes fra fjernlager)
Forventet levering: 15-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal542
Udgivelsesdato06-09-2007
ISBN139783540752202
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Formal Methods and Hybrid Real-Time Systems

- Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Findes i disse kategorier...

Se andre, der handler om...