ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June, Bert, Didier (ed.); Bowen, Jonathan P. (ed.); King, Steve (ed.); Waldén, Marina (ed.), Springer

KIRJAUDU

ostoskori

avaa valikko

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June

Didier Bert (ed.), Jonathan P. Bowen (ed.), Steve King (ed.), Marina Waldén (ed.)

97,90 €

Springer
Sivumäärä: 554 sivua
Asu: Pehmeäkantinen kirja
Painos: 2003
Julkaisuvuosi: 2003, 20.05.2003 (lisätietoa)
Kieli: Englanti

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus