“Runnin’ with the Devil: A Backstage Pass to the Wild Times, Loud Rock, and the Down and Dirty Truth Behind the Making of Van Halen” has been added to your cart. View cart

Applied Formal Methods – FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science, 1641)

$2,289.00

Download Catalog

ISBN 9783540664628 Categories ARCHITECTURE, ARCHITECTURE, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, LANGUAGE TEACHING & LEARNING (OTHER THAN ELT), LANGUAGE, LITERATURE AND BIOGRAPHY, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, OPERATING SYSTEMS

Additional information

Weight	43.03 kg
ISBN	3540664629
ISBN13	9783540664628
Author	Hutter, Dieter
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1999
Edition	1999
Pages	396

Todos los libros

Applied Formal Methods – FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science, 1641)

Related products

Barnhart Concise Dictionary of Etymology

All Things Possible: Setbacks and Success in Politics and Life

She Must Be Mad: The bestselling poetry debut of 2018

GuRu

My War Criminal: Personal Encounters with an Architect of Genocide

Nevertheless: A Memoir