This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.
The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems.
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European ... (Lecture Notes in Computer Science)
📄 Viewing lite version
Full site ›
Book Details
PublisherSpringer
ISBN / ASIN3540657193
ISBN-139783540657194
AvailabilityUsually ships in 24 hours
Sales Rank13,575,167
CategoryPaperback
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Paperback
Nightmare Hour TV Tie-in Edition
View
First Light
View
The Miles Between
View
Prize Stories 1990: The O. Henry Awards (Pen / O. Henr…
View
Democracy Begins Between Two
View
The Model Locomotive Engineer, Fireman, and Engine Boy
View
Bloodline in the Sand
View
Making America, Volume A, Brief, 2nd Ed + Perfect Unio…
View
Ellis, Becoming a Master Student, 11th Edition Plus My…
View