James C Browne Book

Language: en
Pages: 2064

A Genealogical and Heraldic Dictionary of the Peerage and Baronetage Together with Memoirs of the Privy Councillors and Knights

Author(s): Bernard Burke

Categories: Baronetage

Type: Book
-
Published: 1899
-
Publisher: Unknown

None

Language: en
Pages: 1520

Army Register

Author(s): United States. Department of the Army, United States. Adjutant-General's Office

Categories: United States

Type: Book
-
Published: 1922
-
Publisher: Unknown

None

Language: en
Pages: 955

FME 2003: Formal Methods

Author(s): Keijiro Araki

Categories: Business & Economics

Type: Book
-
Published: 2003-08-27
-
Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.