Programming And Mathematical Method(1st Edition)
Authors:
Manfred Broy
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$67.89
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0387555587, 978-0387555584
Book publisher: Springer Verlag
Book Price $67.89 : The Construction Of A Software System Is A Task That Has To Be Structured To Ensure That The Software Product Fulfills All Expectations And The Process Of Producing It Remains Manageable And Reliable. Mathematical Methods, Including Logic, Algebra And Functional Calculus, Are Needed To Support Structuring And Provide Notations And Basic Formal Concepts For The Foundations Of Software Engineering. Mathematical Methods Of Programming Reflect The Need For Modularization And Abstraction And Suggest Appropriate Goal-directed Procedures For The Construction Of Software Programs. This Volume Contains The Proceedings Of An International Summer School Held At Marktoberdorf In 1990, The 11th In A Series On Mathematical Methods In Programming. Outstanding Scientists Contributed Papers Centered Around Logical And Functional Calculi For The Specification, Refinement And Verification Of Programs And Program Systems, And Remarkable Examples For The Formal Development Of Proofs And Algorithms Are Given.
Customers also bought these books (16)
Local Treatment Of Inflammatory Joint Diseases Benefits And Risks - 1st Edition
Willm Uwe Kampen
ISBN: 3319169491, 9783319169491
$107.79 $153.99
Advanced Inorganic Chemistry - 6th Edition
Carlos A. Murillo
ISBN: 0471199575, 978-0471199571
$0 $38.94
Numerical Methods For Engineers - 5th Edition
Steven C. Chapra
ISBN: 978-0071244299, 0071244298
$0 $52.99
Financial Accounting an introduction to concepts, methods and uses - 13th Edition
Clyde P. Stickney
ISBN: 978-0538776080, 324651147, 538776080, 9780324651140, 978-0324789003
$228.87 $326.95
The Secret Of Regeneration Book I - 1st Edition
Professor Hilton Hotema
ISBN: 1683650301, 978-1683650300
$0 $39.99
The Practical Zone System For Film And Digital Photography Classic Tool Universal Applications - 1st Edition
Chris Johnson
ISBN: 1138206318, 978-1138206311
$0 $62.93
Collected Sermons Of William Sloane Coffin Volume 1 The Riverside Years Years 1977 1982 - 1st Edition
William Sloane Coffin
ISBN: 0664232442, 978-0664232443
$0 $28.47
My Forbidden Face Growing Up Under Thetaliban - 1st Edition
Latifa
ISBN: 0756966361, 978-0756966362
$0 $7.12
Vast Grimm Space Raiders Expansion Hard Cover - 1st Edition
Brian Colin
ISBN: 1737769875, 978-1737769873
$0 $14.50
Management of Organizational Behavior - 10th edition
Paul Hersey
ISBN: 132556405, 978-0132556408
$0 $74.99
Death At A Paris Hotel An Utterly Gripping And Unputdownable Cozy Murder Mystery - 1st Edition
Verity Bright
ISBN: 1836188161, 978-1836188162
$0 $7.50
Sociology A Brief Introduction - 13th Edition
Richard T. Schaefer
ISBN: 1260085414, 978-1260085419
$69.87 $99.82
Seeking God The Way Of St Benedict - 1st Edition
Esther De Waal
ISBN: 0814613888, 978-0814613887
$0 $10.97
The Secret Of Regeneration Book I - 1st Edition
Professor Hilton Hotema
ISBN: 1683650301, 978-1683650300
$0 $39.99
Era Uma Vez Dom Quixote - 1st Edition
Miguel De Cervantes Saavedra
ISBN: 852601014X, 978-8526010147
$0 $18.85
Fools Quest Book Two Of The Fitz And The Fool Trilogy - 1st Edition
Robin Hobb
ISBN: 0593725476, 978-0593725474
$0 $35.00Popular Among Students (15)
Coastal Lives Nature Capital And The Struggle For Artisanal Fisheries In Peru - 1st Edition
Maximilian Viatori
ISBN: 0816542392, 978-0816542390
$0 $49.99
An Outline Of Strategies For Building An Innovation System For Knowledge City - 1st Edition
Keith Crane
ISBN: 0833077007, 978-0833077004
$0 $26.95
Employment And Growth Issues For The 1980s - 1st Edition
A Steinherr
ISBN: 9401081131, 978-9401081139
$335.37 $479.10
Science Development And Violence The Revolt Against Modernity - 1st Edition
Claude Alvares
ISBN: 0195632818, 978-0195632811
$0 $45.00
Reprogramming The American Dream From Rural America To Silicon Valley Making Ai Serve Us All - 1st Edition
Kevin Scott
ISBN: 0062879871, 978-0062879875
$0 $22.65
Athens 403 Bc A Democracy In Crisis - 1st Edition
Vincent Azoulay
ISBN: 1009490966, 978-1009490962
$0 $36.99
Perspectives Of Systems Informatics 5th International Andrei Ershov Memorial Conference Psi 2003 Akademgorodok Novosibirsk Russia July 9 12 - 2003rd Edition
Manfred Broy
ISBN: 3540208135, 978-3540208136
$0 $47.25
Projektorganisation Und Management Im Software Engineering - 1st Edition
Manfred Broy
ISBN: 3642292895, 978-3642292897
$0 $56.81
Libreoffice 6 0 Writer Guide - 1st Edition
Libreoffice Documentation Team
ISBN: 1680922645, 978-1680922646
$0 $13.67
Illustrator 10 Mastering Artistic Design - 1st Edition
Sae Nan Chong
ISBN: 1929685769, 978-1929685769
$0 $4.63
Microsoft Systems Management Server Training - 1st Edition
Microsoft Press
ISBN: 1572316144, 978-1572316140
$192.92 $275.60
77 422 Microsoft Powerpoint 2013 Wileyplus Blackboard Student Package - 1st Edition
Microsoft Official Academic Course
ISBN: 1118857887, 978-1118857885
$65.07 $92.95
Introduction To DevOps With Chocolate LEGO And Scrum Game - 1st Edition
Dana Pylayeva
ISBN: 1484225643, 978-1484225646
$0 $35.99