Home

Formal Description Techniques VIII

Barnes and Noble

Loading Inventory...

Formal Description Techniques VIII

Formal Description Techniques VIII in Bloomington, MN

By Barnes & Noble

$219.00

Get it at Barnes and Noble

Barnes and Noble

Formal Description Techniques VIII

Formal Description Techniques VIII in Bloomington, MN

$219.00

Loading Inventory...

Size: Hardcover

Get it at Barnes and Noble

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Shop Similar Products

Formal Description Techniques IX: Theory, application and tools

Loading Inventory...

Formal Description Techniques IX: Theory, application and tools

From Barnes & Noble

Formal Description Techniques and Protocol Specification, Testing Verification: FORTE X / PSTV XVII '97

Loading Inventory...

Formal Description Techniques and Protocol Specification, Testing Verification: FORTE X / PSTV XVII '97

From Barnes & Noble

Logic: Techniques of Formal Reasoning

Loading Inventory...

Logic: Techniques of Formal Reasoning

From Barnes & Noble

The French Polisher's Manual - A Description of Polishing Methods and Technique

Loading Inventory...

The French Polisher's Manual - A Description of Polishing Methods and Technique

From Barnes & Noble

Formal Description Techniques and Protocol Specification, Testing Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on for Distributed Systems Communication Protocols (FORTE XI) Pr

Loading Inventory...

Formal Description Techniques and Protocol Specification, Testing Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on for Distributed Systems Communication Protocols (FORTE XI) Pr

From Barnes & Noble

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Loading Inventory...

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

From Barnes & Noble

A Description of the Island St. Helena

Loading Inventory...

A Description of the Island St. Helena

From Barnes & Noble

Specimens of the Ancient Sculpture and Painting, now Remaining This Kingdom, From Earliest Period to Reign Henry ye VIII, Consisting Statues, Bassorelievos, ect a Description Each Subject

Loading Inventory...

Specimens of the Ancient Sculpture and Painting, now Remaining This Kingdom, From Earliest Period to Reign Henry ye VIII, Consisting Statues, Bassorelievos, ect a Description Each Subject

From Barnes & Noble

Nova Francia: A Description of Acadia, 1606

Loading Inventory...

Nova Francia: A Description of Acadia, 1606

From Barnes & Noble

Description of Moldavia

Loading Inventory...

Description of Moldavia

From Barnes & Noble

Lombard Street A Description Of The Money Market

Loading Inventory...

Lombard Street A Description Of The Money Market

From Barnes & Noble

Keep Shopping

On Sale

New In

Men

Women

Baby+and+kids.jpeg

Baby and Kids

Beauty

Jewelry

Find at Mall of America® in Bloomington, MN

Visit at Mall of America® in Bloomington, MN