Kniha Algebraic Methodology and Software Technology Michael Johnson

Algebraic Methodology and Software Technology

6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
110.02
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Meth...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1997
Stránok
602
EAN
9783540638889
ISBN
3540638881
Enbook ID
05274790
Vydavateľ
Hmotnosť
785
Rozmery
156 x 234 x 31

Kompletný popis

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

Mohlo by vás zaujímať

Hare and the Tortoise

Bernadette Watts
16.20
33.20

Hazel's Pocket Posh Journal, Mum

Andrews McMeel Publishing
7.06
62.96

Where's Noddy?

Martin Hill-Jones
43.41
200.21

Teach Online

Dr Carolyn Edwards
21.70
31.13
46.56
69.84

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

12.27
12.27

A kuku

Basia Flores
5.88
9.42
21.60

Als der Osten brannte

Henning Stühring
30.05

Das Richtige gründen

Patrick Stähler
25.04

La sierra de Ayllón

Miguel Ángel Díaz Martínez
14.43
22.59