Książka Algebraic Methodology and Software Technology Michael Johnson

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2006
strony
392
EAN
9783540356332
ISBN
3540356339
Enbook ID
01562279
Waga
1260
Wymiary
155 x 235 x 22

Pełny opis

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

Możesz być zainteresowany

! 1700-1725, Etc.

Mikhail Ivanovich Semevsky
109.13
77.00

Rainforests

Steve Parker
44.48

Unconditional You

Ojaswi Tiwari
87.51
95.11

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

82.74
30.27

Bestiari

Navarro Simon
39.03