Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bande auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitatstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einfuhrend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erortert, wie man Systemaufgaben analysiert und spezifiziert.
Choose a destination to see accurate shipping times, delivery options, pricing and product availability.
Afterpay logo
Shop now. Pay later. Always interest‑free.
Swing through the checkout with Afterpay.Get your order now, pay in four fortnightly payments.
Afterpay offers simple payment plans for online shoppers, instantly at checkout.Buy what you want today, pay for it over time. Interest free, with no additional fees if you pay on
time.
1
Select Afterpay as your payment method
Use your existing payment card
2
Complete your checkout in seconds
No long forms, instant approval
3
Get your items just as fast as always
Your order ships straight away
4
Pay over four payments, interest free
Enjoy now, pay later
How it works
Simply select Afterpay as your payment method in the checkout or when picking up your items from the Mighty Ape distribution centre,
and enter your details at Afterpay to complete your order
Your payment schedule will be shown in the checkout, and emailed to you
If you are a new Afterpay customer, the first payment will be made at the time of purchase, with
remaining payments over the next 6 weeks
Once you have been an Afterpay customer for 6 weeks, on subsequent orders you may be eligible to
make your first payment in 14 days, with final payment in 8 weeks
If you need to return your items for a refund, the payment plan can be cancelled
If you fail to make a payment, you will be charged a late payment fee of $10 with a further $7
fee added 7 days later if the payment is still unpaid