Rakuten Kobo

Winkelwagen

Artikel(en) niet beschikbaar voor aankoop

Bekijk je winkelwagentje. Je kunt de niet-beschikbare artikelen nu verwijderen of we verwijderen ze bij de kassa automatisch.

artikelenartikel

- Inclusief eBooks
  
  Inclusief luisterboeken
  
  Inclusief 30 uur luistertijd
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  
  Ontvang elke maand 1 credit voor een luisterboek naar keuze
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  
  Inclusief eBooks
  
  Inclusief luisterboeken
  
  Inclusief 30 uur luistertijd
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  Luisterboek
  door ,
  
  Verkrijgbaar:
  
  . Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions.
  
  Reserveren
  1 audioboek per maand
  
  + Probeer het 30 dagen gratis
  
  Speciale aanbieding
  
  Ontvang elke maand 1 credit om in te wisselen voor een audioboek naar keuze
  
  *Geen verplichtingen, annuleren kan altijd
  
  GRATIS

artikelenartikel

Inclusief eBooks

Inclusief luisterboeken

Inclusief 30 uur luistertijd

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions

Ontvang elke maand 1 credit voor een luisterboek naar keuze

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions

Inclusief eBooks

Inclusief luisterboeken

Inclusief 30 uur luistertijd

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
Luisterboek
door ,

Verkrijgbaar:
. Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions.

Reserveren
1 audioboek per maand

+ Probeer het 30 dagen gratis

Speciale aanbieding

Ontvang elke maand 1 credit om in te wisselen voor een audioboek naar keuze

*Geen verplichtingen, annuleren kan altijd

GRATIS

Aanbevolen voor jou

Spring REST

Building Java Microservices and Cloud Applications

door Balaji Varanasi, Maxim Bartkov ...

Serie series Professional and Applied Computing (R0)
Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web ... Meer lezen

36,64 €

Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web
... Meer lezen
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Bewerkt door Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Meer lezen

42,39 €

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... Meer lezen
Service-Oriented Computing – ICSOC 2016 Workshops

ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Bewerkt door Yuhong Yan, Sami Bhiri, François Charoy, Jan Mendling, Qi Yu, Khalil Drira, Zhongjie Wang, Yan Wang, Mohamed Mohamed, Hongbing Wang ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst ... Meer lezen

52,99 €

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst
... Meer lezen
Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Bewerkt door Bart Jacobs, Christof Löding ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85 ... Meer lezen

52,99 €

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85
... Meer lezen
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Bewerkt door Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. ... Meer lezen

49,81 €

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
... Meer lezen
Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Bewerkt door Fabio Gadducci, Timo Kehrer ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and
... Meer lezen
Object-Oriented Technology

door Suad Alagić ...

Serie series Computer Science (R0)
The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in ... Meer lezen

42,39 €

The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in
... Meer lezen
Build Mobile Apps with Ionic 4 and Firebase

Hybrid Mobile App Development

door Fu Cheng ...

Serie series Professional and Applied Computing (R0)
Leverage your existing web development skills to learn the whole cycle of hybrid mobile app development. This edition is fully updated with the changes in Ionic 4, including Stencil, a new framework based on the web components standard. It explains Ionic and Firebase in detail, including how to create hybrid mobile apps using using React and Vue, and run those apps in an internal browser using a ... Meer lezen

66,37 €

Leverage your existing web development skills to learn the whole cycle of hybrid mobile app development. This edition is fully updated with the changes in Ionic 4, including Stencil, a new framework based on the web components standard. It explains Ionic and Firebase in detail, including how to create hybrid mobile apps using using React and Vue, and run those apps in an internal browser using a
... Meer lezen
MATLAB Graphical Programming

Practical hands-on MATLAB solutions

door Cesar Lopez ...

Serie series Professional and Applied Computing (R0)
MATLAB enables you to work with its graphics capabilities in almost all areas of the experimental sciences and engineering. The commands that MATLAB implements in job related graphics are quite useful and are very efficient.MATLAB has functions for working with two-dimensional and three-dimensional graphics, statistical graphs, curves and surfaces in explicit, implicit, parametric and polar ... Meer lezen

46,56 €

MATLAB enables you to work with its graphics capabilities in almost all areas of the experimental sciences and engineering. The commands that MATLAB implements in job related graphics are quite useful and are very efficient.MATLAB has functions for working with two-dimensional and three-dimensional graphics, statistical graphs, curves and surfaces in explicit, implicit, parametric and polar
... Meer lezen
Agile Visualization with Pharo

Crafting Interactive Visual Support Using Roassal

door Alexandre Bergel ...

Serie series Professional and Applied Computing (R0)
Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations. This book shows how Pharo leverages visualization development against traditional frameworks and toolkits.Agile Visualization with Pharo focuses on the Roassal visualization engine and first presents the basic and necessary tools to visualize data, including an introduction to ... Meer lezen

46,56 €

Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations. This book shows how Pharo leverages visualization development against traditional frameworks and toolkits.Agile Visualization with Pharo focuses on the Roassal visualization engine and first presents the basic and necessary tools to visualize data, including an introduction to
... Meer lezen
Deep Belief Nets in C++ and CUDA C: Volume 1

Restricted Boltzmann Machines and Supervised Feedforward Networks

door Timothy Masters ...

Serie series Professional and Applied Computing (R0)
Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitive motivation, a summary of the most important equations relevant to the topic, and concludes with highly commented code for threaded computation on modern CPUs as well as massive parallel processing on computers with CUDA-capable video display cards.The first of three in ... Meer lezen

31,79 €

Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitive motivation, a summary of the most important equations relevant to the topic, and concludes with highly commented code for threaded computation on modern CPUs as well as massive parallel processing on computers with CUDA-capable video display cards.The first of three in
... Meer lezen
Python lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

door Sebastian Dörn ...

Serie series Computer Science and Engineering (German Language)
Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:· Erste Schritte in Python· Variablen, Ausdrücke und Operatoren· Bedingte Auswahlanweisungen ... Meer lezen

19,80 €

Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:· Erste Schritte in Python· Variablen, Ausdrücke und Operatoren· Bedingte Auswahlanweisungen
... Meer lezen
OpenMP: Memory, Devices, and Tasks

12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Bewerkt door Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and ... Meer lezen

52,99 €

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and
... Meer lezen
Geographical Information Systems Theory, Applications and Management

4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Bewerkt door Lemonia Ragia, Cédric Grueau, Robert Laurini ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information ... Meer lezen

52,99 €

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information
... Meer lezen
Java XML and JSON

Document Processing for Java SE

door Jeff Friesen ...

Serie series Professional and Applied Computing (R0)
Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of ... Meer lezen

79,25 €

Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of
... Meer lezen
Julia Quick Syntax Reference

A Pocket Guide for Data Science Programming

door Antonello Lobianco ...

Serie series Professional and Applied Computing (R0)
Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions, ... Meer lezen

56,46 €

Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions,
... Meer lezen
Swift 3 for Absolute Beginners

door Gary Bennett, Brad Lees ...

Serie series Professional and Applied Computing (R0)
Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 3.Many people have a difficult time ... Meer lezen

46,56 €

Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 3.Many people have a difficult time
... Meer lezen
Membrane Computing Models: Implementations

door Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze, Marian Gheorghe ...

Serie series Computer Science (R0)
The theoretical basis of membrane computing was established in the early 2000s with fundamental research into the computational power, complexity aspects and relationships with other (un)conventional computing paradigms. Although this core theoretical research has continued to grow rapidly and vigorously, another area of investigation has since been added, focusing on the applications of this ... Meer lezen

169,59 €

The theoretical basis of membrane computing was established in the early 2000s with fundamental research into the computational power, complexity aspects and relationships with other (un)conventional computing paradigms. Although this core theoretical research has continued to grow rapidly and vigorously, another area of investigation has since been added, focusing on the applications of this
... Meer lezen
Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Bewerkt door Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of
... Meer lezen
Beginning C++20

From Novice to Professional

door Ivor Horton, Peter Van Weert ...

Serie series Professional and Applied Computing (R0)
Begin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are Beginning C++20 and any recent C++ compiler and you'll soon be writing real C++ programs. There ... Meer lezen

66,37 €

Begin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are Beginning C++20 and any recent C++ compiler and you'll soon be writing real C++ programs. There
... Meer lezen
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Bewerkt door Mohammed-Amine Koulali, Mira Mezini ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... Meer lezen

52,99 €

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Meer lezen
DevOps in Python

Infrastructure as Python

door Moshe Zadka ...

Serie series Professional and Applied Computing (R0)
Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You’ll then move on to more ... Meer lezen

62,40 €

Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You’ll then move on to more
... Meer lezen
Formal Specification Techniques for Engineering Modular C Programs

door Tan Yang Meng ...

Serie Boek 1 - International Series in Software Engineering
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to ... Meer lezen

148,39 €

Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to
... Meer lezen
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Bewerkt door Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...

Serie series Computer Science (R0)
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... Meer lezen

52,99 €

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has
... Meer lezen

Kobo Rakuten

eReaders

Apps

Accessoires

Winkelwagen

Je krijgt de VIP-behandeling!

Je winkelwagen is leeg

Verkrijgbaar:

1 audioboek per maand

+ Probeer het 30 dagen gratis

Verkrijgbaar:

1 audioboek per maand

+ Probeer het 30 dagen gratis

Aanbevolen voor jou

eBooks in de categorie Compilers

Spring REST

Practical Aspects of Declarative Languages

Service-Oriented Computing – ICSOC 2016 Workshops

Foundations of Software Science and Computation Structures

OpenMP: Heterogenous Execution and Data Movements

Graph Transformation

Object-Oriented Technology

Build Mobile Apps with Ionic 4 and Firebase

MATLAB Graphical Programming

Agile Visualization with Pharo

Deep Belief Nets in C++ and CUDA C: Volume 1

Python lernen in abgeschlossenen Lerneinheiten

OpenMP: Memory, Devices, and Tasks

Geographical Information Systems Theory, Applications and Management

Java XML and JSON

Julia Quick Syntax Reference

Swift 3 for Absolute Beginners

Membrane Computing Models: Implementations

Intelligent Computer Mathematics

Beginning C++20

Networked Systems

DevOps in Python

Formal Specification Techniques for Engineering Modular C Programs

Foundations of Security, Protocols, and Equational Reasoning