Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

�ber die Autorin bzw. den Autor

Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Better World Books is the world?s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Better World Books Ltd
Better World Books, Third Floor, One London Square, Cross Lanes, Guildford, GU1 1UN, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

Mehr Information