Menu
Află starea comenzii
Contactați-ne
Carte Algebraic Methodology and Software Technology Michael Johnson

Algebraic Methodology and Software Technology

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

Autor: Michael Johnson, Varmo Vene
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern în cantități mici
Expediem în 11-15 zile
297.23 lei
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S...

Informații despre carte

Autor
Michael Johnson, Varmo Vene
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2006
Pagini
392
EAN
9783540356332
ISBN
3540356339
Enbook ID
01562279
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
1260
Dimensiuni
155 x 235 x 22

Descriere completă

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.

S-ar putea să te intereseze

Rainforests

Steve Parker
58.63 lei

! 1700-1725, Etc.

Mikhail Ivanovich Semevsky
142.91 lei

Forbidden Stories of an Immigrant

Phern H
60.35 lei

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

Lora S. Irish
45.41 lei

Irish Doctor in Peace and at War

Patrick Taylor
101.12 lei

Commonly Used Conventions in the 21st Century

Audrey Grant
117.47 lei

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

William Everett
145.23 lei

Unconditional You

Ojaswi Tiwari
113.54 lei

Today Janet Will Be a Princess

Paula Croyle
125.04 lei

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

Jean-Louis Murat - Les jours du jaguar

Pierre Andrieu
210.83 lei

Sweet Minis häkeln - 23 wilde Dschungeltiere

Inga Borges
52.58 lei

Bestiari

Navarro Simon
48.34 lei

Método TED para hablar en público

JEREMY DONOVAN
102.33 lei

Napoleon III Et l'Opinion Catholique. a Mme De... Tres-Zelee Catholique, A Lyon

Sans Auteur
77.81 lei

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

Achille De Vaulabelle
171.27 lei

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht)

Dario Fischer
49.14 lei

Migrations- und Flüchtlingspolitik der Europäischen Union

Matthias Amann
350.62 lei