Roland Backhouse | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?

PROGRAM CONSTRUCTION - CALCULATING IMPLEMENTATIONS FROM SPECIFICATIONS

Roland Backhouse
John Wiley & Sons Inc (2003)
Pehmeäkantinen kirja

60,40 €

MATHEMATICS OF PROGRAM CONSTRUCTION - 5TH INTERNATIONAL CONFERENCE, MPC 2000 PONTE DE LIMA, PORTUGAL, JULY 3-5, 2000 PROCEEDINGS

Roland Backhouse; Jose Nuno Oliveira
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja

49,60 €

DATATYPE-GENERIC PROGRAMMING - INTERNATIONAL SPRING SCHOOL, SSDGP 2006, NOTTINGHAM, UK, APRIL 24-27, 2006, REVISED LECTURES

Roland Backhouse; Jeremy Gibbons; Ralf Hinze; Johan Jeuring
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION - INTERNATIONAL SUMMER SCHOOL AND WORKSHOP, OXFORD,

Roland Backhouse; Roy Crole; Jeremy Gibbons
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja

49,60 €

GENERIC PROGRAMMING - ADVANCED LECTURES

Roland Backhouse; Jeremy Gibbons
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

44,70 €

ALGORITHMIC PROBLEM SOLVING

Roland Backhouse
John Wiley & Sons Inc (2011)
Pehmeäkantinen kirja

55,40 €

501 GREAT PLACES TO STAY

Fid Backhouse; Arthur Findlay; Kieran Fogarty; Roland Matthews; Sal Oliver
Octopus Publishing Group (2014)
Pehmeäkantinen kirja

36,70 €

Program Construction - Calculating Implementations from Specifications

Roland Backhouse

60,40 €

John Wiley & Sons Inc
Sivumäärä: 352 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2003, 27.03.2003 (lisätietoa)
Kieli: Englanti

Warum kommt kein Programmierer ohne Kenntnisse in Mathematik und Logik aus? Dieses Buch zeigt es Ihnen eindrucksvoll, verzichtet dabei auf übermäßig komplizierte theoretische Herleitungen und motiviert Sie damit zum Weiterdenken.
- illustriert die Bedeutung der Mathematik und der Logik für die Programmierung; gibt einen kompletten Überblick über die Prinzipien des logischen Schließens
- geht detailliert auf Prinzipien der Programmkonstruktion ein
- ausgewogene Kombination aus mathematischer Theorie und Programmierpraxis
- überarbeitete Fassung des Buches "Program Construction and Verification" (1986) desselben Autors, welches von zahlreichen Lehrstühlen für Informatik empfohlen wurde
- hervorragend zum Selbststudium geeignet

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus