Menu
Rendelés állapotának ellenőrzése
Kapcsolat
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

Szerző: Michael Johnson, Varmo Vene
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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

Szerző
Michael Johnson, Varmo Vene
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2006
oldal
392
EAN
9783540356332
ISBN
3540356339
Enbook ID
01562279
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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

Forbidden Stories of an Immigrant

Phern H
4 192 Ft

Sharpening Carving Tools for Beginners: Learn to Keep Your Knives, Gouges & V-Tools in Tip-Top Shape

Lora S. Irish
3 215 Ft

Irish Doctor in Peace and at War

Patrick Taylor
7 079 Ft

Commonly Used Conventions in the 21st Century

Audrey Grant
8 204 Ft

School Sermons, Preached to the Boys at Adams Academy, Quincy, Mass.

William Everett
10 078 Ft

Rainforests

Steve Parker
3 968 Ft

Unconditional You

Ojaswi Tiwari
7 891 Ft

Today Janet Will Be a Princess

Paula Croyle
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

Método TED para hablar en público

JEREMY DONOVAN
6 922 Ft

Jean-Louis Murat - Les jours du jaguar

Pierre Andrieu
14 261 Ft

Sweet Minis häkeln - 23 wilde Dschungeltiere

Inga Borges
3 241 Ft

Demon slayer. Kimetsu no yaiba

Koyoharu Gotouge
2 672 Ft

Bestiari

Navarro Simon
3 268 Ft

Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860)

Achille De Vaulabelle
11 885 Ft

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht)

Dario Fischer
3 439 Ft

Migrations- und Flüchtlingspolitik der Europäischen Union

Matthias Amann
23 712 Ft