Del i serien Undergraduate Topics in Computer Science

Rigorous Software Development

Nyhet

An Introduction to Program Verification

Häftad, Engelska, 2026

AvJosé Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

859 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

579 kr

Skickas inom 5-8 vardagar

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.

Produktinformation

Utgivningsdatum2026-05-24
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieUndergraduate Topics in Computer Science
Antal sidor291
Upplaga2
FörlagSpringer London Ltd
ISBN9781447175575

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

José Bacelar Almeida is a lecturer at the University of Minho, Portugal. He graduated in Electrical and Computer Engineering and received his PhD in Computer Science from the University of Minho. His areas of interest include semantics of programming languages, proof assistants, and security. Maria João Frade obtained her PhD in Computer Science from the University of Minho, Portugal, and is currently a lecturer at this institution. Her research interests include type theory, structural proof theory, semantics of programming languages and program logics. Jorge Sousa Pinto obtained his PhD in Computer Science from École Polytechnique, France, and is currently a lecturer at the University of Minho, Portugal. His interests include program verification and the use of formal methods in software engineering. Simão Melo de Sousa is a lecturer at the University of Beira Interior, Portugal. He graduated in Computer Science from the University of Orléans, France, and received his PhD in ComputerScience from the University of Nice-Sophia Antipolis / INRIA. His interests include formal methods, reliability and security of computer systems, and computer-aided reasoning.