Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Description Techniques IX

Name: Formal Description Techniques IX
Brand: Chapman and Hall
SKU: 01386888
Price: 349.89 EUR
Availability: InStock
Author: R. Gotzhein
ISBN: 9780412794902

Theory, application and tools

R. Gotzhein

J. Bredereke

Language

English

Book Hardback

Libristo code: 01386888

Publishers Chapman and Hall, September 1996

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Pr... Full description

Libristo code: 01386888

856 b

349.89 € VAT included

Low in stock at our supplier Shipping in 11-15 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Bildungsaufsteigerinnen Aus Benachteiligten Milieus Aladin El-Mafaalani

Paperback

75.89 €

Schnitzen mit der Kettensäge: Adler Dennis Roghair

Paperback

19.90 €

Slovem a mečem Ivana Špičková

Hardback

11.19 €

Die Steuer als Instrument der Politik. Christoph Bellstedt

Paperback

77.29 €

Ludwig Börne suivi de Ludwig Markus Heinrich Heine

Paperback

46.79 €

ÉVALUATION DES ENJEUX ET DES PERSPECTIVES DE LA RADIODIFFUSION NUMÉRIQUE Paul Tersue Iorlaha

Paperback

47.59 €

Hoří Sudabeh Mohafez

Hardback

5.59 €

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.