DRM-beskyttet

Formal Description Techniques IX

- Theory, application and tools

Forfatter: info mangler

E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Ifip Advances in Information and Communication Technology

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 3.269,95

Medlemspris: kr. 3.199,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: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato09-01-2016
ISBN139780387350790
Forlag Springer US
FormatPDF

Formal Description Techniques IX

- Theory, application and tools

Findes i disse kategorier...

Se andre, der handler om...