Könyv Algebraic Methodology and Software Technology Michael Johnson

Algebraic Methodology and Software Technology

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2006
oldal
392
EAN
9783540356332
ISBN
3540356339
Enbook ID
01562279
Súly
1260
Méretek
155 x 235 x 22

Teljes leírás

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.

Érdekelheti

! 1700-1725, Etc.

Mikhail Ivanovich Semevsky
10 195 Ft
7 079 Ft

Rainforests

Steve Parker
3 968 Ft

Unconditional You

Ojaswi Tiwari
7 891 Ft
8 756 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

2 672 Ft

Bestiari

Navarro Simon
3 268 Ft