Software Engineering 2

Specification of Systems and Languages

Autor*innen

• Dines Bjørner

Parameter

• 804 Seiten
• 29 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

Focusing on the comprehensive development of large-scale software products, this three-volume set blends informal, practical methods with rigorous, mathematics-based techniques. It emphasizes the importance of a professional foundation in software engineering, covering various aspects such as art, craft, discipline, and logic. This unique combination aims to equip readers with both theoretical knowledge and practical skills necessary for effective software development.

• Sprache: Englisch
• Erscheinungsdatum: 2010
• Einband: Paperback