Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.
“Decadence has never seemed so sweet and innocent as it does in Brian Antoni’s lost world of deco and disco in pre-millennial Miami.” —Jay McInerney This second novel by the acclaimed author of Paradise Overdose, is a “candy-colored and warmhearted . . . story of one man’s moral and sexual flowering” (The New York Times Book Review). At the ripe old age of twenty-nine, globe-trotting, trust fund-endowed Gabriel Tucker is horrified to learn that all that’s left of his inheritance is a crumbling Miami Beach apartment building named the Venus De Milo Arms. Alone, penniless, and lacking any sort of useful skills, he heads to Miami to reconstruct his life. His new neighbors are an unlikely mix of tenants: an elderly Holocaust survivor, a lip-synching drag queen, a cynical two-bit gossip columnist, and a rebellious young performance artist who Gabriel starts to fall for. Quickly he is thrust into the outrageous world of South Beach, where temptations abound and quick fortunes, mountains of drugs, nonstop sex, and beautiful women (and men) for sale (or rent) are the order of the day. He becomes a ringside witness to the excesses and intrigues of Italian fashion empires, Cuban refugee supermodels, rapacious German developers, old-fashioned crooked politicians, and a cast of colorful characters that would make Caligula blush. South Beach’s debauched and seductive glow makes for an unlikely place to start over. But it is here, among the faded art deco buildings and eclectic residents, that Gabriel will find a home—and a love—that he never expected. “[Antoni] mischievously and triumphantly combines explicit sexual encounters with keen, hilarious social commentary and genuine compassion to create a love letter to a crazy place and a sweet tale of friendship, succor, and love.” —Booklist
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.