Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

FM 2005: Formal Methods

Name: FM 2005: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560898
Price: 51.33 EUR
Availability: InStock
Author: John Fitzgerald
ISBN: 9783540278825

International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

John Fitzgerald

Ian J. Hayes

Andrzej Tarlecki

Langue

Anglais

Livre Livre de poche

Code Libristo: 01560898

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 2005

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe,... Description détaillée

Code Libristo: 01560898

125 b

51.33 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Religion Et Alimentation Dans l'Egypte Et l'Orient Anciens Marie-Lys Arnette

Livre de poche

63.89 €

Stop vermoeidheid: Hoe je je leven terugkrijgt Lisa Gibson

Adobe ePub DRM

1.00 €

Aula internacional Plus 6

Livre de poche

38.97 €

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. §The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.