Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8477) (2014. 2014. xvi, 336 S.

Name: Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8477) (2014. 2014. xvi, 336 S.
Brand: SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben von Ait Ameur, Yamine/ Schewe, Klaus-Dieter

100.69 SGD

会員価格

90.63

English

量:

Publisher

SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE

Publication Date

May 2014

ISBN

9783662436516

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

日本国内への配送は50.00SGD以上のご注文で無料

カート

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8477) (2014. 2014. xvi, 336 S.

Available to Order

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8477) (2014. 2014. xvi, 336 S.

Recently Viewed Items

Related Products