Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642392764
Price: 255.24 RON
Availability: InStock

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Autor: Shaoying Liu

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

255.24 lei

This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa...

Informații despre carte

Autor

Shaoying Liu

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2013

Pagini

149

EAN

9783642392764

ISBN

3642392768

Enbook ID

01663973

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

454

Dimensiuni

155 x 235 x 12

Descriere completă

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și