Formal Development of Programs and Proofs (The Ut Year of Programming Series) pdf indir

PDF şu an için bir değişim biçimi olarak kendini kurmuştur. İnsanlar hemen anladı - ne içindi? PostScript'e benziyor muydu - ilk günden başlayarak başarıya bağlı mıydı? Yani, insanlar 1985’te PostScript’i almak için sabırsızlanıyorlardı. Steve Jobs ve John Warnock’ın ellerine çek koydukları için şaka yapmıyorum ve “Ne kadar? Ne kadar ŞİMDİ istiyorum ve gelecek yıl daha hızlı olmasını istiyorum! "Formal Development of Programs and Proofs (The Ut Year of Programming Series) PDF ile böyle değildi - hiç de öyle değildi. 1996 civarında, düzenli olarak Adobe'yi ziyaret ettim, onlarla PDF formatında birçok şey yaptım, vb. Ve bu özel durumda, San Francisco Gümrük Pasaportumu ele geçirdi ve “Ziyaretin amacı efendim?” “İş mi zevk mi?” Dedi. Dedim ki, "Bu iş iştir." “Ah! Hangi şirketi ziyaret ediyorsun?” “Ah! Bu kerpiç. Şimdi onlar San Jose'de. ” “Ah! Bu ilginç, efendim ve onlarla ne iş yapıyorsunuz?” Bunun hepimizin alışkın olduğu bir şey olduğunu düşünüyorum: “Yasadışı bir göçmen misiniz? Gerçekten Adobe'de mi çalışıyorsunuz? ”Veya“ Ödendi mi, efendim? ”. "Hayır! Hayır! Hayır! Sadece aynı şeylerle ilgileniyoruz; araştırma yapıyoruz ve burada projemizi nerede yaptığımızı bulmak için insanlarla tanışmaya geldim. ” Ve dedi ki; “Ama Adobe ile ne iş yapıyorsunuz efendim?” ve dedim ki, "Şey, duymamış olabilirsiniz ama bir ürünü var - eğer isterseniz - PDF olarak adlandırılmışlar ve Acrobat Reader adlı ücretsiz bir programla okuyabilirsiniz." Yüzü dondu ve “Ah, canım” diye düşündüm ve gözlüğünü çıkardı. Onları yere koydu, pasaportumu ters çevirdi, kenara ayırdı ve “Efendim! Bu PDF Formal Development of Programs and Proofs (The Ut Year of Programming Series)! Onun için ne ?! ”Ve ben sadece ... diğer insanlardan benzer şeyler duydum, gülümsedim. Dedim ki, "Peki, beş dakikalık bir hikaye mi yoksa bir saatlik hikaye mi istersin?" Ona şöyle söyledim: “Dinle, muhtemelen insanlarla belge alışverişinde bulunduğunu biliyorsun, ve sana da söylediler - size bu rotayı PDF'ye kullanmanız ve PDF'yi standart bir değişim biçimi olarak kullanmanız gerektiğini söylediler?” Dedi. ! Evet! Bu kesinlikle doğru. Neden birbirimize sadece Word dosyaları gönderemediğimizi anlamıyoruz!” Ben de dedim ki, “Birbirlerine Word dosyaları göndermekle ilgili bazı problemleri biliyorsunuz. Herkesin biraz farklı bir sürümü var ve ah, canım, bazı insanlar bunu bir bilgisayarda değil, bir Macintosh'ta çalıştırıyor ve aynı görünmüyor ...? "" Oh! Bana ondan bahset! ”Dedi ve ben de dedim ki,“ Eh… ve sonra “WordPerfect çok daha iyi ve kesinlikle Microsoft'tan herhangi bir şey kullanmayı reddediyorum” diyen ya da başka bir şey mi var? “" Ah, evet! Bunlardan birkaçı da var. "Ben de dedim ki," Eh, bunun belge değişimi ile ilgili olduğunu hatırlamanız gerekir. Fakat ideal olarak, diğer seçenekleri karşılayabilecek ortak, kaliteli bir çözüme sahip olmanız gerekir. " Kesin ve bir kağıda basılmış bir şeye ihtiyaç duyan gazeteleri düşünün, daha küçük boyutlarda önizlemek istiyorlar ve bir dokümanın çeşitli boyut ve çözünürlüklere sığmasını ve her zaman kaliteyi alarak - aralarında yumuşak hareket etmelerini istiyorlar - böylece parçalanmaya başlamıyor - neredeyse ahır kapısının boyutuna şişirmiş olsanız bile. “Gazeteler bu yeteneği gerçekten takdir ediyor” dedim ve “Peki, Formal Development of Programs and Proofs (The Ut Year of Programming Series) PDF'ye nasıl bir yolu var?” Dedi ve “Evet, PDF'ye bir rotaları olmalı,” dedi. ve dedim ki, "Diğer insanlar - size başka bir örnek vereyim" dedim. olleg o AutoCAD adı altında bir program getirmek sadece sihirli olduğunu düşünüyorum, biliyorsunuz, mimarlar çizimleri için kullanılabilir "Bilgisayar Destekli Tasarım"; Bu elektronik devre için kullanılabilir. Ancak onlar için farklı bir boyuta ölçeklendirdiğinizde kaliteyi korumak çok önemlidir. Bu bir grafik modeldir; Bu, içinde karmaşık, ölçeklenebilir, grafik bir model. Ve böylece mühendisler de bundan hoşlanıyor. Ve o aşamada yüzünde geniş bir gülümseme belirdi ve şöyle dedi: “Efendim!” - gözlüklerini koyar - “Efendim, bunun için çok teşekkür ederim!” “Teşekkürler, teşekkür ederim!”. Pasaportumu bana geri verdi: "Amerika Birleşik Devletleri'ne hoş geldiniz efendim". Ben de şöyle düşünerek bıraktım: “Buna şaşırmadım - birçok insan bunu gerçekten anlamıyor; Bunun neden gerekli olduğunu anlamıyorlar. ” Düşündüm ki - tam olarak bu seyahatte olduğunu sanmıyorum, belki gelecek yıl, Adobe ile birçok kez çalıştığım zamandı, ama özellikle 93'lerin başındaydı. John Warnock ve meslektaşı Chuck Geschke bizi burada, Nottingham'da PDF'deki ilk beta test sitelerinden biri olarak seçti. Ve sanırım bir göçmenlik memuruyla olan ilişkimden bir yıl sonra John'u görmeye gittim ve ilk sorunun olduğunu söyledim: “John. PDF Formal Development of Programs and Proofs (The Ut Year of Programming Series) - nasılsın? “Ve dedi ki:” David, bu uzun, uzun, uzun ve zor bir mücadele! “Ve dedim ki,” Evet, bunun PostScript olan gecede elde edilen başarı olmadığını söyleyebilir miyim? "Ve dedi ki:" Hayır, değil. Ve dedi ki: “Bana PDF'ye ne kadar harcadığımı sormak istiyorsanız, cevap 100 milyon dolar. İnsanların PDF'yi kabul etmesini istiyorsak, onlara bir Okuyucu vermeniz ve ücretsiz olmanız gerektiğini hemen anladık. Şarj etmeye başladığınız anda insanlar basitçe reddedecek ve formatınızı kullanmayacaktır. Bu yüzden: “Onunla yaşamak zorunda kaldık” dedi ama “tekrar söyleyeceğim - haklı olduğumuzdan eminiz! ". Ben de o zamanlar benim temsilcim olan meslektaşım Ken ile konuşmak için aşağı inip ona hikayeyi anlattım. Dedi ki: “David, biz teknik yönden bizleriz - John ve Chuck'ın kesinlikle haklı olduğunu biliyoruz.” “Ama” dedi: “Bu şirkette sinirler olduğunu söylemeliyim, çünkü sinirler var, çünkü özellikle gördüğünüz satıcılar arasında: “Formal Development of Programs and Proofs (The Ut Year of Programming Series) PDF'sinden herhangi bir bonus almıyoruz! İnsanlar ne olduğunu anlamıyor, biliyorsun, ve hepsi. Lütfen beni Photoshop'tan sorumlu tutun! Photoshop'tan çok para ve bonus yapacağım. Ben de dedim ki; "Evet! Bu anlaşılabilir bir durum. ” Ve Adobe’deki arkadaşlarımdan Photoshop’a olan sorumluluğun gerçek olduğunu düşündüğümde ... “Pekala, biliyorsunuz, bir PDF'nin başarısının ölçüsü, eğer satış gelirleri Photoshop'takileri aştığında olur mu?” Ve bu sorunun cevabı, sanırım öyle bir yerde bir kitabım var. Adobe Story - Sanırım, Nisan 2004’te, sonunda PDF gelirleri Photoshop gelirlerini aştı. Ve ziyaretim sırasında, o zamanlar, hatırladığım kadarıyla büyük bir istekle, San Jose'deki bir binanın alt katlarında dört ya da altı kişilik bir photoshop kalabalığı ya da bunun gibi bir şeydi. PDF / Acrobat / PostScript kullanıcıları çok daha yüksekti: 11. ve 12. katlar. Üst yönetim, John, Chuck vb. Kulenin tepesindeydi. Oraya ulaştığımda bana - ki sevinçle - PDF / Acrobat'ın satış sonuçlarının ve satışlarının Photoshop'u aştığı andan itibaren, Photoshop’u geçtiğinde, 4. ve 12. katlarda çok miktarda şampanya, kurdeleler ve tebrik kartları ile mesaj gönderildi. şuydu: "Sizin üzerindeki baskı, şimdi - iyi günler!"