Foundations of Algebraic Specification and Formal Software Development

Name: Foundations of Algebraic Specification and Formal Software Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642440656
Price: 120.02 EUR
Availability: InStock

Autor: Donald Sannella, Andrzej Tarlecki

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

120.02 €

This book provides foundations for software specification and formal software development from the p...

Informácie o knihe

Autor

Donald Sannella, Andrzej Tarlecki

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

584

EAN

9783642440656

ISBN

3642440657

Enbook ID

02598647

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

908

Rozmery

155 x 235 x 236

Kompletný popis

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties.

Mohlo by vás zaujímať

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Foundations of Algebraic Specification and Formal Software Development

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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