Studiebog

Formal Techniques for Distributed Objects, Components, and Systems

- 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (2014)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science Programming and Software

Normalpris: kr. 214,95

Medlemspris: kr. 204,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 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal301
Udgivelsesdato23-10-2013
ISBN139783662436127
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Nummer i serien8461
FormatPaperback

Størrelse og vægt

Vægt4803 g

Dybde2 cm

10 cm

15,5 cm

23,5 cm

Formal Techniques for Distributed Objects, Components, and Systems

- 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (2014)

Findes i disse kategorier...

Se andre, der handler om...