Foundations Of Algebraic Specification And Formal Software Development

Name: Foundations Of Algebraic Specification And Formal Software Development
Price: 142.63 EUR
Author: Andrzej Tarlecki e Donald Sannella
ISBN: 9783642173356

by Andrzej Tarlecki e Donald Sannella

Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, December of 2011 ‧ see product details

(0)

be the first to comment

142,63€

OUT OF STOCK OR NOT AVAILABLE

article alert available again

Sell your book

SYNOPSIS

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

DETAILS

Foundations Of Algebraic Specification And Formal Software Development

by Andrzej Tarlecki e Donald Sannella
Property	Description
ISBN:	9783642173356
Publisher:	SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Release Date:	December of 2011
Cover:	Hardcover
Pages:	584
Format:	Book
Collection:	Monographs In Theoretical Computer Science. An Eatcs Series
Categories:	Books in English > Science > Mathematics
EAN:	9783642173356

BOOKS FROM THE SAME COLLECTION

Foundations Of Algebraic Specification And Formal Software Development

eBook

25%

Andrzej TarleckiandDonald Sannella

Springer Berlin Heidelberg

111,83€ ~~139,79€~~ 20% + 5% CARD
Words And Graphs

Vadim LozinandSergey Kitaev

Springer International Publishing AG

121,66€

free shipping
Petri Net Algebra

eBook

25%

Eike Best, Maciej KoutnyandRaymond Devillers

Springer Berlin Heidelberg

137,27€ ~~171,59€~~ 20% + 5% CARD

FROM THE SAME AUTHORS

DONALD SANNELLA

Introduction To Computation

Philip Wadler, Haoran Peng, Michael FourmanandDonald Sannella

Springer Nature Switzerland AG

44,60€

free shipping

SEE MORE TITLES BY THIS AUTHOR