software engineering

Larch: languages and tools for formal specification

John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.].

Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)

S. Tucker Taft

Introducing Fortran 95: [with coverage of ISO TR 15580 and TR 15581]

Ian Chivers and Jane Sleightholme.

Software and Mind: The Mechanistic Myth and Its Consequences

Andrei Sorin

Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Lecture Notes in Computer Science)

R. Morrison

CAW Game

written by: Seyed Sadegh Abdosalehi

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Hartmut Ehrig

Component-Based Software Quality: Methods and Techniques (Lecture Notes in Computer Science)

Mario Piattini

Marketing Cloud in E-Commerce: An Overview on New E-Commerce

written by: Seyed Sadegh Abdosalehi

Marketing Cloud: Adobe Marketing Cloud

written by: Seyed Sadegh Abdosalehi