Bestellen Terug

Hoofdkenmerken

Auteur:	Sere, Kaisa
Redactie:	Sere, Kaisa
Titel:	Integrated Formal Methods Third International Conference
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540437031
ISBN boekversie:	9783540478843
Serie:	Lecture Notes in Computer
Editie:	2002 ed.
Land van oorsprong:	Germany
Prijs:	€ 104.48
Verschijningsdatum:	02-05-2002
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Technical / Manuals
Categorie:	Mathematical theory of computation
Geillustreerd:	X, 401 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	401
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1280

 

Inhoud:

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities.