ZB 2003: Formal Specification and Development in Z and B

Name: ZB 2003: Formal Specification and Development in Z and B
Brand: Springer, Berlin
SKU: 9783540402534
Price: 36174 HUF
Availability: InStock

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Szerző: Marina Walden, Didier Bert, Steve King

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

36 174 Ft

This book constitutes the refereed proceedings of the Third International Conference of Z and B User...

Információk a könyvről

Szerző

Marina Walden, Didier Bert, Steve King

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2003

oldal

554

EAN

9783540402534

ISBN

3540402535

Enbook ID

01562689

Kiadó

Springer, Berlin

Súly

840

Méretek

156 x 234 x 29

Teljes leírás

This book constitutes 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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták