Notations For Software Design(1st Edition)
Authors:
Loe M G Feijs ,Hans B M Jonkers ,Cornelis A Middelburg
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540199020, 978-3540199021
Book publisher: Springer
Book Price $0 : Notations For Software Design Aims To Explain Formal Specification And Design To Practitioners In Software Development, And To Set Out The Ingredients Of A Sound Software Design Process. It Examines COLD-1, Which Is Currently Being Implemented By Philips In Many Of Its Business Centres. The Fact That It Is A Wide-spectrum Language Which Supports Many Styles Of Specification Makes It An Excellent Basis For The Volume. It Also Examines Some Widely-used Informal Techniques, Such As Venn Diagrams And Petri Nets, Thus Creating A Strong Link Between Current And Future Practice. Rather Than Proposing New Pictorial Notations The Authors Place Existing Ones Into A Coherent Framework, And Explain Practical Ways Of Exploiting Them In Conjunction With COLD-1.
Customers also bought these books (16)
Principles of Auditing An Introduction to International Standards on Auditing - 3rd edition
Rick Hayes
ISBN: 273768174, 978-0273768173
$89.59 $127.98
Combinatorial Geometry In The Plane - 1st Edition
Hugo Hadwiger
ISBN: 048679993X, 9780486799933
$82.6 $118.00
Design Analysis in Rock Mechanics - 1st edition
William G. Pariseau
ISBN: 1138029580, 415893399, 9781138029583, 978-0415893398
$67.2 $96.00
Systems Analysis and Design - 9th Edition
Shelly Cashman
ISBN: 978-1133274056, 9780538481618, 1133274056, 538481617, 978-1133274636
$0 $37.79
Computer Science Theory And Applications 10th International Computer Science Symposium In Russia Csr 2015 Listvyanka Russia July 13 17 2015 Proceedings Notes In Computer Science Book 9139 - 1st Edition
Lev D Beklemishev
ISBN: B01076X5NA, 978-3319202976
$0 $14.22
Model Based Safety And Assessment 4th International Symposium Imbsa 2014 Munich Germany October 27 29 2014 Proceedings - 1st Edition
Frank Ortmeier
ISBN: 3319122134, 978-3319122137
$0 $32.59
The Practice Of Formal Methods Essays In Honour Of Cliff Jones Part I - 1st Edition
Ana Cavalcanti
ISBN: B0DG3881H6, 978-3031666766
$0 $31.06
Lessons In Enumerative Combinatorics - 1st Edition
Omer Egecioglu
ISBN: 3030712494, 978-3030712495
$0 $69.99
Technology And Market Structure - 1st Edition
John Sutton
ISBN: 026219399X, 978-0262193993
$0 $50.24
The Grey Goose Of Arnhem The Story Of The Most Amazing Mass Escape Of World War Ii - 1st Edition
Leo Heaps
ISBN: 1913518116, 978-1913518110
$0 $8.50
Effective Training Systems Strategies and Practices - 5th edition
Nick P Blanchard
ISBN: 978-0133468687, 133468682, 132729040, 978-0132729048
$0 $24.01
Five Practices For Equity Focused School Leadership - 1st Edition
Sharon I. Radd
ISBN: 1416629750, 978-1416629757
$0 $29.27
Model Generation For Natural Language Interpretation And Analysis - 1st Edition
Karsten Konrad
ISBN: 3540210695, 978-3540210696
$0 $47.39Popular Among Students (12)
Nonlinear Electromechanical Effects And Applications - 1st Edition
G.a. Maugin
ISBN: 9971500965, 978-9971500962
$0 $43.00
Osteopathic Principles Applied In Mechanics And Treatment - 1st Edition
Robert Johnston
ISBN: 0994947119, 978-0994947116
$0 $50.86
Critique De La Pensee Agricole De La Modernite Technique Comme Mode Denfermement Economique - 1st Edition
Daniel Perron
ISBN: 2343086095, 978-2343086095
$0 $17.09
Artificial Intelligence And Symbolic Computation International Conference Aisc 2000 Madrid Spain July 17 19 2000 Revised Papers - 2001st Edition
John A. Campbell
ISBN: 3540420711, 978-3540420712
$0 $26.55
Integrated Formal Methods 10th International Conference Ifm 2013 Turku Finland June 10 14 2013 Proceedings - 2013 Edition
Einar Broch Johnsen
ISBN: 3642386121, 978-3642386121
$0 $54.99
Foundations Of Software Science And Computation Structures 5th International Conference Fossacs 2002 Held As Part Of The Joint European Conferences - 2002nd Edition
Mogens Nielsen
ISBN: 354043366X, 978-3540433668
$0 $50.94
Algebraic Methodology And Software Technology 7th International Conference Amast98 Amazonia Brazil January 4 8 1999 Proceedings - 1st Edition
Armando M Haeberer
ISBN: 3540654623, 978-3540654629
$0 $54.99
Algorithmic Barriers Falling P Np - 1st Edition
Donald E Knuth
ISBN: 9491386042, 978-9491386046
$0 $14.74