Hoofdkenmerken
Auteur:
Lakhnech, Yassine
Redactie:
Lakhnech, Yassine
Titel:
Tool Support for System Specification, Development and Verification
Uitgever:
Springer Verlag GmbH
ISBN:
9783211832820
ISBN boekversie:
9783709163559
Serie:
Advances in Computing Sciences
Editie:
Softcover reprint of the original 1st ed. 1999
Land van oorsprong:
Austria
Prijs:
€ 101.82
Verschijningsdatum:
25-03-1999
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Leesniveau:
Undergraduate
Categorie:
Software Engineering
Geillustreerd:
53 Illustrations, black and white; IX, 232 p. 53 illus.
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
232
Hoogte mm.:
235
Breedte mm.:
155
Gewicht gr.:
460
Inhoud: The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems.
nl
en
