adicionar à lista de desejos
Logic In Computer Science eBook
Modelling And Reasoning About Systems
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
see product details
72,88€
10% OFF
CARD
Y1RseFZXOTZOV3RQYm5OU1UwOVZVakoxTWxOSmRuRXhNblVyVEdjcmF6a3JjRE5YVlZCS05USkRRM0l6U0U1M1QycHhTREpzVjI1MVYyNU1iVEpSVG01dlNuUm1UM1pTZFhwUGVETm1TakkyZW5jelMxaG5aamtyVWtWU1YzZG1SR2s0VnlzNFZtaHJZVFZPTDFSNVUwaHBibVE0V0djdmJXaDZkRlpHVjBWWFdUVkZTRmhzTWtJd04xUm5UVGRQVDI5QmJISXhWRWd4TXpGQ1VXVnJjVzk2YkdjcmIwVXlRMnBVTVVScVpYWmhiQ3RKVmxsRk1FRlFkMUV4U0d0VVlXMTBNVmhXWlhwQ2FFMVdRazFHTlhObmRVeENTbll2ZFRoRFEyaExNblJpTXl0Qk5WTjVUbWhFVmtwdVRGWlZXV3N5ZEVOckwySkRjRzh3UTB4M2NuSTNTa2RhV1VWMU1FeGhZV0V5WlM5cGVHVTBkMWhTZFVWd1NsUmFjSHBvYWpGNU0xbFRXa2xKYlZrMVRGcHVhamhEYUZOMlNHb3dUM3BsVHl0cVVYWnJObkkzZGs5V2N6bFhUMlZrUzJ0cFMyZG5RV0oxVTBOM2VIYzJTSEZDUm5BNFduQkZOQzl3S3pKR2VtUklWbWxtYkM5SFIySTFPRTR6U0ZaNk1HMTRiVVpsYW5aT2VUbEhMMVV4U0M5U1R6WmxhbWRPVUhkaVoyNXFTa2MzVG5aRWNHUTFUWFJrUVhwbGVraEdSMHBsZDNoWE1IbGxSak5CYVVGVmJtVjBhR2hCVjBOTGNGcHlOMVZwT0RkUmVERnFha1JrWlRCeGFXRjFVVGszYjFaS2VqQlhlbTVXZEhGeWIxbE1WMWwwWkhOc2EwNXRNbXR3WmxJck1WYzFaRVZKVEVGVlZtUlVRM1ZUUVhGWVNsWXhibGRPUzBwalZVaE5ZblJqWXpoYVRHc3pZMDFyZUVKVGVFVkJZM3BVT1ZwR2MwdG5NelYzYlVKUVpVOUtVVTVoT1ZoeVIxZG9LM1JLVDFNNGRsTlRURW95YjJzNGNraDNjSFZOWnpSbk4zZHNabFpGYUhoNmF5OVNlVTlOWWxwalRFYzViMUJaYWtjdmFsTlVaakJKWjJGd1NIVlFlV3hVUWt4bk9FTlhXREJ6VlRGVFJYQTBPSEZIY0hjd1psZFdVRzVTVUVkT1RtRmFXU3R4Y2xodVVVbDNhWFZIUmtFelEzTnNWMUk0VFhGdVFTOUpjVFJCWVVKS2FXbHFUMkZJV0ZsMGQyOVdVaXQxU1dock5VNVFOVUl5ZFhaTFZHMXBhamRSUFE9PToyeU9CQ0dUdi9LOWdOUVlrZGNGd1l3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780511261589 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2004 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9780511261589 |