Książka Structured Object-Oriented Formal Language and Method Shaoying Liu

Structured Object-Oriented Formal Language and Method

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

Autor: Shaoying Liu
Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
195.11
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
149
EAN
9783642392764
ISBN
3642392768
Enbook ID
01663973
Waga
454
Wymiary
155 x 235 x 12

Pełny opis

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.

Możesz być zainteresowany

41.41

Strange Magic

Mark Hammar
29.55

Go Cookbook

AARON TORRES
203.76

Philip's Reading Log

Martha Day Zschock
34.41
94.88

Build, Memory

James Stewart Polshek
185.49

Still Point

William Johnston
198.03

CHERUB: Mad Dogs

Robert Muchamore
44.42

Hamas Vs. Fatah

Jonathan Schanzer
113.06

Land Degradation

Anthony ChisholmRobert Dumsday
258.60

Cabbage

C.S. Fritz
37.71

Klienci, którzy kupili tę książkę, kupili również

ASH

Jean-Michel Calvez
37.52
294.28
40.73
45.97

Pädagogischer Mehrwert?

Christian Fischer
62.80
81.75

Ingwer

Ute Scheffler
27.80